J.B. Wright, E.G. Wagner, et al.
Theoretical Computer Science
Paper
Data abstraction, data bases and conceptual modelling (Position Paper)
Abstract
There is no paper with a mathematical foundation that I know of that strikes more at the heart of the subject of this Workshop than that of R.M. Burstall and J.A. Goguen [10], presented at the Fifth International Joint Conference on Artificial Intelligence in August of 1977. © 1981, ACM. All rights reserved.
Related
R.K. Shyamasundar, J.W. Thatcher
IEEE Transactions on Software Engineering
Conference paper
Rational algebraic theories and fixed-point solutions
J.B. Wright, J.W. Thatcher, et al.
FOCS 1976
J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)