[1] |
Benabou, J., Structures algébriques dans les categories, Cahiers Topologie Géom, Différentielle, 10, No.1, 1-126 (1968) · Zbl 0162.32602 |
[2] |
Birkhoff, G.; Lipson, D., Heterogeneous algebras, J. Combinatorial Theory, 8, 115-133 (1970) · Zbl 0211.02003 |
[3] |
Burstall, R. M.; Darlington, J., A transformation system for developing recursive programs, J. Assoc. Comput. Mach., 24, 44-67 (1977) · Zbl 0343.68014 |
[4] |
Chirica, L. M.; Martin, D. F., An algebraic formulation of Knuthian semantics, (Proc. 17th IEEE Symp. on Foundations of Computing (1976)), 127-136 |
[5] |
Elgot, C. C., Monadic computation and iterative algebraic theories, (Rose, H. E.; Shepherdson, J. C., Proceedings of the Logic Colloquium. Proceedings of the Logic Colloquium, Bristol, 1973 (1975), North-Holland: North-Holland Amsterdam), 175-230 · Zbl 0327.02040 |
[6] |
Giarratana, V.; Gimona, F.; Montanari, U., Observability Concepts in Abstract Data Type Specifications, (Mazurkiewicz, A., Mathematical Foundations of Computer Science 1976. Mathematical Foundations of Computer Science 1976, Lecture Notes in Computer Science (1976), Springer-Verlag: Springer-Verlag Berlin/New York), 576-587, No. 45 · Zbl 0338.68023 |
[7] |
Goguen, J. A., Realization is universal, Math. Systems Theory, 6, 359-374 (1972) · Zbl 0248.18015 |
[8] |
Goguen, J. A., On homomorphisms, correctness, termination, unfoldments, and equivalence of flow-diagram programs, J. Comput. System Sci., 8, 333-365 (1974) · Zbl 0285.68010 |
[9] |
Goguen, J. A., Correctness and equivalence of data types, (Marchesihi, G.; Mitter, S. K., Mathematical Systems Theory. Mathematical Systems Theory, Udine, 1975. Mathematical Systems Theory. Mathematical Systems Theory, Udine, 1975, Lecture Notes in Economics and Mathematical Systems, No. 131 (1976), Springer-Verlag: Springer-Verlag Berlin/New York), 352-358 · Zbl 0387.68013 |
[10] |
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G., An initial algebra approach to the specification, correctness, and implementation of abstract data types, (Yeh, R., Current Trends in Programming Methodology, IV, Data Structuring (1978), Prentice-Hall: Prentice-Hall Englewood Cliffs, N. J), 80-149 |
[11] |
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., A Junction between Computer Science and Category Theory: I, Basic Definitions and Examples, IBM Research Report RC 5908 (1976) · Zbl 0333.93002 |
[12] |
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., An Introduction to Categories, Algebraic Theories, and Algebras, IBM Research Report RC 5369 (April 1975) |
[13] |
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., Abstract data types as initial algebras and correctness of data representations, (Proc. ACM Conf. on Computer Graphics, Pattern Recognition, and Data Structures (May 1975)), 89-93 |
[14] |
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., Initial algebra semantics and continuous algebras, J. Assoc. Comput. Mach., 24, 68-95 (1977) · Zbl 0359.68018 |
[15] |
Grxtzer, G., Universal Algebra (1968), Van Nostrand: Van Nostrand Princeton, N. J · Zbl 0182.34201 |
[16] |
Guttag, J. V., The Spcification and Application to Programming of Abstract Data Types, (Computer System Research Report CSRG-59 (1975), University of Toronto, Department of Computer Science) · Zbl 0395.68020 |
[17] |
Guttag, J. V.; Horowitz, E.; Musser, D. R., Abstract data types and software validation, Comm. ACM, 21, 1048-1064 (1978) · Zbl 0387.68012 |
[18] |
Hoare, C. A.R., Proving correctness of data representations, Acta Informatica, 1, 271-281 (1972) · Zbl 0244.68009 |
[19] |
Knuth, D. E., Semantics of context-free languages, Math. Systems Theory, 5, 95-96 (1971), correction · Zbl 0219.68035 |
[20] |
Lawvere, F. W., Functorial semantics of algebraic theories, (Proc. Nat. Acad. Sci. U.S.A., 50 (1963)), 869-872 · Zbl 0119.25901 |
[21] |
Robinson, L.; Levitt, K. N., Proof techniques for hierarchically stuctured programs, Comm. ACM, 20, No 4, 271-283 (April 1977) · Zbl 0358.68030 |
[22] |
Rosen, B. K., Tree manipulating systems and Church-Rosser Theorems, J. ACM, 20, 160-187 (1973) · Zbl 0267.68013 |
[23] |
M. WandJ. ACM; M. WandJ. ACM · Zbl 0429.68028 |
[24] |
Wright, J. B.; Thatcher, J. W.; Wagner, E. G.; Goguen, J. A., Rational algebraic theories and fixed point solutions, (Proc. 17th IEEE Symp. on Foundations of Computing (1976)), 147-158 |