Logičeskoje programirovanije v sisteme /360/. - Stably, D. (Mir, 1974)