B. Jayaraman and G. Gupta, "EqL User's Guide", Technical Report 87-010, Department of Computer Science, University of North Carolina at Chapel Hill, May 1987

(1987)

Languages mentioned