J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper
Data abstraction, data bases and conceptual modelling (Position Paper)
Abstract
No abstract available.
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.A. Goguen, J.W. Thatcher, et al.
Journal of the ACM