Matematická teorie programů / Zohar Manna ; přeložil Jiří Hořejš. Praha : SNTL - Nakladatelství technické literatury, 1981. 467 s.[1, of that borrowed 0]