Correct Higher-Order Program Transformations (1994)

by P A Steckler
Venue:Ph.D. thesis, Northeastern Univ