Jazyky, gramatiky a automaty - Mareš, Jan, 1944- (Vydavatelství ČVUT, 2004)