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

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

FOCS 1976

J.A. Goguen, J.W. Thatcher, et al.

Journal of the ACM

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

ACM Transactions on Programming Languages and Systems (TOPLAS)

J.W. Thatcher, J.B. Wright

Mathematical Systems Theory