Clear-like parametrised modules. A functional system based on equations. "Principles of OBJ2", K. Futatsugi et al, 12th POPL, ACM 1985, pp.52-66.

In addition suitable contents:
[ 2 ] [ ACM ] [ al ] [ am ] [ ar ] [ as ] [ at ] [ B ] [ b ] [ ba ] [ base ] [ C ] [ ci ] [ CM ] [ du ] [ ed ] [ es ] [ et ] [ function ] [ functional ] [ gi ] [ h ] [ in ] [ inc ] [ io ] [ is ] [ J ] [ K ] [ ke ] [ li ] [ M ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ns ] [ O ] [ OBJ ] [ pa ] [ param ] [ pl ] [ POP ] [ se ] [ st ] [ su ] [ sy ] [ system ] [ th ] [ tr ] [ ua ] [ ug ]