An equational language. Bharat Jayaraman <bharat@cs.buffalo.edu>. "EqL: The Language and its Implementation", B. Jayaraman et al, IEEE Trans Soft Eng SE-15(6):771-780 (June 1989).
Try this search on Wikipedia, OneLook, Google
Nearby terms: epsilon squared « EPSIMONE « EPSS « EqL » EQLOG » EQLog » Eqn
