Data abstraction, data bases and conceptual modelling (Position Paper)

J.W. Thatcher, E.G. Wagner, et al.

ACM Transactions on Programming Languages and Systems (TOPLAS)

J.B. Wright, J.W. Thatcher, et al.

FOCS 1976

J.W. Thatcher, J.B. Wright

Mathematical Systems Theory

J.W. Thatcher

Journal of Computer and System Sciences