Hardware-Design : Formaler Entwurf digitaler Schaltungen. Teubner-Texte zur Info