APA (7th ed.) Citation
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 Style (17th ed.) Citation
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 (9th ed.) Citation
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.
Warning: These citations may not always be 100% accurate.