e> A version of ef="module.php?name=Lexikon&file=search&eid=1&query=OBJ">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)