Goguen and Meseguer (1986)

Goguen J.A. and Meseguer J. (1986)

Extensions and foundations of object-oriented programming

ACM SIGPLAN Notices (October), pp. 153-162