An algebraic specification and *(programming language) member of the *(OBJ Family).

<ul class="links">
  <li>_("Home page"|http://www.kindsoftware.com/products/opensource/OBJ3/) at KindSoftware.</li>
</ul>