EqL

An equational language. Bharat Jayaraman

[email protected]. "EqL: The Language and its

Implementation", B. Jayaraman et al, IEEE Trans Soft Eng

SE-15(6):771-780 (June 1989).