OBJ3 language 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)
