APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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

Let op: Deze citaties zijn niet altijd 100% accuraat.