Introduction to Data Algebra

[1]  Hartmut Ehrig,et al.  Algebraic Specification Schemes for Data Base Systems , 1978, VLDB.

[2]  John B. Goodenough,et al.  Structured exception handling , 1975, POPL '75.

[3]  Ellis Horowitz,et al.  Abstract data types and software validation , 1978, CACM.

[4]  Joseph A. Goguen,et al.  Abstract Errors for Abstract Data Types , 1977, Formal Description of Programming Concepts.

[5]  Ellis Horowitz,et al.  The design of data type specifications , 1976, ICSE '76.

[6]  K. Mani Chandy,et al.  Current trends in programming methodology , 1977 .

[7]  James W. Thatcher,et al.  Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.

[8]  Hartmut Ehrig,et al.  Stepwise Specification and Implementation of Abstract Data Types , 1978, ICALP.

[9]  Michael D. Rychener.  Control requirements for the design of production system architectures , 1977 .

[10]  John V. Guttag,et al.  The specification and application to programming of abstract data types. , 1975 .

[11]  Stephen N. Zilles,et al.  Specification techniques for data abstractions , 1975 .

[12]  Daniel J. Lehmann,et al.  Data types , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[13]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.

[14]  Joseph A. Goguen,et al.  Initial Algebra Semantics , 1974, SWAT.

[15]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[16]  Reiji Nakajima,et al.  Describing and Verifying Programs with Abstract Data Types , 1977, Formal Description of Programming Concepts.

[17]  Manfred Broy,et al.  Existential Quantifiers in Abstract Data Types , 1979, ICALP.

[18]  Mitchell Wand,et al.  Final Algebra Semantics and Data Type Extensions , 1979, J. Comput. Syst. Sci..