An equational language. Bharat Jayaraman <email@example.com>. "EqL: The Language and its Implementation", B. Jayaraman et al, IEEE Trans Soft Eng SE-15(6):771-780 (June 1989).
Updated: Tue Feb 21 00:18:44 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985