Davie, B. S. (1990). Formal specification and verification in VLSI design. Edinburgh Univ. Press.
Chicago-Zitierstil (17. Ausg.)Davie, Bruce S. Formal Specification and Verification in VLSI Design. Edinburgh: Edinburgh Univ. Press, 1990.
MLA-Zitierstil (9. Ausg.)Davie, Bruce S. Formal Specification and Verification in VLSI Design. Edinburgh Univ. Press, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.