Hoffmann, Christoph M. and O`Donnell, Michael J. "Implementation of an interpreter for abstract equations" pp111-121

[POPL 1984] (1984) [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States  

Languages mentioned ELP {1975}