Citação norma APA
Staunstrup, J. (1990). Formal methods for VLSI design. North-Holland.
Citação norma Chicago
Staunstrup, Jorgen. Formal Methods for VLSI Design. Amsterdam: North-Holland, 1990.
Citação norma MLA
Staunstrup, Jorgen. Formal Methods for VLSI Design. North-Holland, 1990.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.