An introduction to OBJ3 (1988)

by J A Goguen, C Kirchner, H Kirchner, A Megrelis, J Meseguer
Venue:Proceedings of the 1st Workshop on Conditional Term Rewriting Systems, Lecture Notes in Computer Science