Špecifikácia a verifikácia časovania v číslicových systémoch - Cingel, Viktor (SVŠT v Bratislave EF, 1991)