English Computing Dictionary
◊ OBJ2
OBJ2
Clear-like parametrised modules. A functional system based on
equations. "Principles of OBJ2", K. Futatsugi et al, 12th
POPL, ACM 1985, pp.52-66.
 obj  obj0  obj2  obj3  object