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