1. Goguen J. A. Thatcher J. W. Wagner E. G. "Initial Algebra Approach to the Specification. Correctness and Implementation of Abstract Data Types " Current Trends in Programming Methodology Vol. IV Data Structuring (Ed. Yeh. R. T.) Prentice Hall (Automatic Computation Series). Englewood Cliffs. New Jersey 1978.]] Goguen J. A. Thatcher J. W. Wagner E. G. "Initial Algebra Approach to the Specification. Correctness and Implementation of Abstract Data Types " Current Trends in Programming Methodology Vol. IV Data Structuring (Ed. Yeh. R. T.) Prentice Hall (Automatic Computation Series). Englewood Cliffs. New Jersey 1978.]]
2. Abstract data types and software validation
3. Letter to the Editor;Hilinger P. N.;SIGPLAN Notices,1978
4. A note on some limits of the algebraic specification method
5. Kapur D. Towards a Theory for Data Abstractions Forthcoming Ph.D. Thesis Dept. of E. E. & C.S. M.I.T. Cambridge Mass. Sept. 1979.]] Kapur D. Towards a Theory for Data Abstractions Forthcoming Ph.D. Thesis Dept. of E. E. & C.S. M.I.T. Cambridge Mass. Sept. 1979.]]