APA (7th ed.) Citation

Goldsmith, M. H. (1985). Logic, programming and formal specification.

Chicago Style (17th ed.) Citation

Goldsmith, Michael H. Logic, Programming and Formal Specification. 1985.

MLA (9th ed.) Citation

Goldsmith, Michael H. Logic, Programming and Formal Specification. 1985.

Warning: These citations may not always be 100% accurate.