Matematická teorie programů Manna, Zohar SNTL - Státní nakladatelství technické literatury, 1981, 467 s.

Edice: Knižnice výpočetní techniky
vázaná, obálka mírně odřena; výborný stav