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
Conference paper
Rational algebraic theories and fixed-point solutions
J.B. Wright, J.W. Thatcher, et al.
FOCS 1976
J.W. Thatcher, J.B. Wright
Mathematical Systems Theory
J.W. Thatcher
ACM SIGPLAN Notices