R.K. Shyamasundar, J.W. Thatcher
IEEE Transactions on Software Engineering
Paper
Data abstraction, data bases and conceptual modelling (Position Paper)
Abstract
No abstract available.
Related
J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
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 Franklin Institute