Implementation of an Interpreter for Abstract Equations.

Christoph M. Hoffmann Michael J. O'Donnell Implementation of an Interpreter for Abstract Equations. 111-121 1984 POPL db/conf/popl/popl84.html#HoffmannO84