Стиль цитування APA (7-ме видання)

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

Чикаго стиль цитування (17-те видання)

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

Стиль цитування MLA (9-ме видання)

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