Teorie modelu a formálních jazyků - Bek, Roman (České vysoké učení technické v Praze, 1982)