Hoffman, Christoph M. and O'Donnell, Michael J. "Programming with Equations", ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.83-112, Jan. 1982

Languages mentioned

• ELP {1975}