APA-Zitierstil (7. Ausg.)
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.
Chicago-Zitierstil (17. Ausg.)
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.
MLA-Zitierstil (9. Ausg.)
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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.