Automatizace projektování číslicových systémů. - Zendulka, J.; Schwarz, J. (1992)