Logičeskoe programirovanie v sisteme -360 - Stably, D. (Mir, 1979)
Prijevod djela: Logical programming with system -360.