Logické systémy pro řízení - Bayer, Jiří; Hanzálek, Zdeněk; Šusta, Richard (České vysoké učení technické v Praze, 2000)