Padawitz, P. (1983). Correctness, completeness, and consistency of equational data type specifications.
Chicago Style (17th ed.) CitationPadawitz, Peter. Correctness, Completeness, and Consistency of Equational Data Type Specifications. 1983.
MLA (9th ed.) CitationPadawitz, Peter. Correctness, Completeness, and Consistency of Equational Data Type Specifications. 1983.
Warning: These citations may not always be 100% accurate.