J.W. Thatcher, J.B. Wright
Mathematical Systems Theory
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
Conference paper
Rational algebraic theories and fixed-point solutions
J.B. Wright, J.W. Thatcher, et al.
FOCS 1976
R.K. Shyamasundar, J.W. Thatcher
IEEE Transactions on Software Engineering
J.A. Goguen, J.W. Thatcher, et al.
Journal of the Franklin Institute