Sound specialization in the presence of computational eects (1997)

by Julia L Lawall, Peter Thiemann
Venue:In Proc. Theoretical Aspects of Computer Software