Lyapas A programming language for logic and coding algorithms tr by Morton Nadler - Gavrilov, Ma (ACM monograph series ed by Robert L Ashenhurst)