Clear-like parametrised modules. A functional system based on

equations. "Principles of OBJ2", K. Futatsugi et al, 12th

POPL, ACM 1985, pp.52-66.