Matematická teorie programu - Manna, Zohar (rz1, 1981)