Goldsmith, M. H. (1985). Logic, programming and formal specification.
Chicago-Zitierstil (17. Ausg.)Goldsmith, Michael H. Logic, Programming and Formal Specification. 1985.
MLA-Zitierstil (9. Ausg.)Goldsmith, Michael H. Logic, Programming and Formal Specification. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.