Matematičeskaja logika v programmirovanii. : Matematičeskoje obespečenije EVM. Sbornik statej. (Mir, 1991)