EqL

Bharat Jayaraman

An equational language.

"EqL: The Language and its Implementation", B. Jayaraman et al, IEEE Transactions on Software Engineering SE-15(6):771-780 (June 1989).