Citação norma APA
Leeser, M. (1990). Hardware specification, verification and synthesis: mathematical aspects: Konf. Mathematical Sciences Institut Workshop, Cornell University, New York, 5.- 7. July 1989. Springer Verlag.
Citação norma Chicago
Leeser, M. Hardware Specification, Verification and Synthesis: Mathematical Aspects: Konf. Mathematical Sciences Institut Workshop, Cornell University, New York, 5.- 7. July 1989. Berlin: Springer Verlag, 1990.
Citação norma MLA
Leeser, M. Hardware Specification, Verification and Synthesis: Mathematical Aspects: Konf. Mathematical Sciences Institut Workshop, Cornell University, New York, 5.- 7. July 1989. Springer Verlag, 1990.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.