Matematická teorie programů / Zohar Manna ; přeložil Jiří Hořejš. Praha : SNTL - Nakladatelství technické literatury, 1981. 467 s.[1, z toho požičaných 0]