Modelování a ověřování automatik. Sborník přednášek. (Dům techniky Československé vědecko-technické společnosti, 1967)