APA (7th ed.) Citation

Tucker, J. V., & Zucker, J. I. (1988). Program correctness over abstract data types, with error-state semantics. North-Holland.

Chicago Style (17th ed.) Citation

Tucker, J. V., and J. I. Zucker. Program Correctness over Abstract Data Types, with Error-state Semantics. Amsterdam ; New York: North-Holland, 1988.

MLA (9th ed.) Citation

Tucker, J. V., and J. I. Zucker. Program Correctness over Abstract Data Types, with Error-state Semantics. North-Holland, 1988.