Příklady z projektování systémů - Vlček, Jaroslav (České vysoké učení technické v Praze, 1984)