The derivation of an algorithm for program specialisation (1991)

by J Gallagher, M Bruynooghe
Venue:New Generation Computing