Book

LYaPAS: A Programming Language for Logic and Coding Algorithms (Monograph series / Association for Computing Machinery)

by Mikhail Aleksandrovich Gavrilov, A. D. Zakrevskii, Morton Nadler