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

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

FOCS 1976

J.W. Thatcher

ACM SIGPLAN Notices

J.W. Thatcher, J.B. Wright

Mathematical Systems Theory

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

Journal of the Franklin Institute