Matematická teorie programů / Zohar Manna ; přeložil Jiří Hořejš. -- 1. vyd. -- Praha : SNTL - Nakladatelství technické literatury, 1981. -- 467 s. : 95 obr. ; 25 cm. -- (Knižnice výpočetní techniky). -- Bibliografia s. 453-461. Register. -- Audience: Pre poslucháčov informatiky na vysokých školách, programátorov, výskumných pracovníkov. výpočtová technika * matematické metódy * programovanie * učebnice vysokých škôl