Teorie automatů a formálních jazyků - Chytil, Michal, 1949- (Státní pedagogické nakladatelství, 1978)
Nad názvem: Univerzita Karlova v Praze, Fakulta matematicko-fyzikální.