Futatsugi, K. et al "Principles of OBJ2"

[POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)  

Languages mentioned OBJ2 {1984}