LYaPAS: a programming language for logic and coding algorithms. Ed. by M.A. Gavrilov and A.D. Zakrevskii. Transl. by Morton Nadler. - Gavrilov, M.A; Zakrevskii, A.D; Nadler, Morton (ACM Monograph Series., 1969)