Lyapas : a programming language for logic and coding algorithms - Gavrilov, M. A.; Zakrevskii, A.D.; Nadler, Morton. (Academic press, 1969)