OBJ3

SRI

Based on order-sorted rewriting. Agent-oriented.

"Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI International (1988). Runs on AKCL.