Source : Free On-Line Dictionary of Computing

OBJ3
     
         A version of {OBJ} based on {order-sorted
        rewriting}.  OBJ3 is {agent}-oriented and runs on {AKCL}.
     
        E-mail: , .
     
        ["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl,
        1988].
     
        (1995-03-16)