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).