资料来源 : Free On-Line Dictionary of Computing

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.