Matematická teorie programů - Manna, Zohar, 1939-2018 (SNTL - Nakladatelství technické literatury, 1981)