@TechReport{Dartmouth:TR94-240,
  author = {Samuel A. Rebelsky},
  title = {{Incremental Equational Programming}},
  institution = {Dartmouth College, Computer Science},
  address = {Hanover, NH},
  number = {PCS-TR94-240},
  year = {1994},
  URL = {http://www.cs.dartmouth.edu/reports/TR94-240.pdf},
}