J.A. Goguen, J.W. Thatcher, et al.
Journal of the ACM
Paper
Data abstraction, data bases and conceptual modelling (Position Paper)
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
Journal of Computer and System Sciences