Matematická teorie programů - Manna, Zohar, 1939-2018; Hořejš, Jiří, 1933-2001 (Praha : SNTL - Nakladatelství technické literatury, 1981)
Bibliografie na s. 453-461
Keywords: programování; teorie automatů; automata theory; programming; učebnice vysokých škol; textbooks (higher)