Logické systémy pro řízení - Bayer, Jiří (Vydavatelství ČVUT, 2000)