n/sys/obj.html">OBJ</a>"
refers to the language family, while "OBJ2", "<a
href="http://www.kindsoftware.com/products/opensource/OBJ3/">OBJ3</a>",
"<a href="http://cat.ucsd.edu:8008/cafeobj/">CafeOBJ</a>", etc. refer
to particular members. The OBJ languages are broad spectrum algebraic
programming and specification languages, based on order sorted
equational logic, possibly enriched with other logics, such as
rewriting logic or hidden equational logic. </p>

<p> All the OBJ languages are rigorously based upo