TY - BOOK AU - "Gavrilov, M A" TI - Lyapas: a Progarmming Language for Logic and Coding Algorithms CY - Academic Press N1 - includes index and biblioraphy ER -