OBJ2

Clear-like parametrized modules. A functional system based on equations.

"Principles of OBJ2", K. Futatsugi et al, Conference Record of the 12th Annual ACM Symposium on Principles of Programming Languages, ACM 1985, pp.52-66.