Modelovanie, špecifikácia a verifikácia logických obvodov - Mulinka, Peter (STU v Bratislave FIIT, 2005)