> KBSS
> STILL
> IDA
> AIC
Kubátová, H., Blažek, Z.
KUBÁTOVÁ, H. a Z. BLAŽEK. Logické systémy - cvičení. Praha: České vysoké učení technické v Praze, 1995. ISBN 80-01-01227-1.