%T Incremental Equational Programming
%A Samuel A. Rebelsky
%R Technical Report PCS-TR94-240
%I Dartmouth College, Computer Science
%C Hanover, NH
%D  1994
%U http://www.cs.dartmouth.edu/reports/TR94-240.pdf