APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Tucker, John V., and Jeffery I. Zucker. Program Correctness over Abstract Data Types, with Error-state Semantics. [1st ed.]. Amsterdam: North-Holland Publishing, 1988.

MLA (9th ed.) Citation

Tucker, John V., and Jeffery I. Zucker. Program Correctness over Abstract Data Types, with Error-state Semantics. [1st ed.]. North-Holland Publishing, 1988.