Logičeskoje programmirovanije : sbornik statej - Agafonov, V. N. (Matematičeskoje obespečenije EVM, 1988)