Matematická teorie programu - Manna, Zohar (SNTL - Státní nakladatelství technické literatury, 1981)