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