Matematická teorie programů - Manna, Zohar, 1939-2018 (Knižnice výpočetní techniky, 1981)