Logičeskije programmirovanije v sisteme / 360. - Stably, D. (Mir, 1979)