Total Correctness and Improvement in the Transformation of Functional Programs (1994)

by D Sands
Venue:DIKU, University of Copenhagen, Unpublished