Teorie automatů - Prokeš, Josef 1922- (ČVUT, 1976)