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.A. Goguen, J.W. Thatcher, et al.

Journal of the Franklin Institute

R.K. Shyamasundar, J.W. Thatcher

IEEE Transactions on Software Engineering