Toward a formal theory of extensible software (1998)

by S Krishnamurthi, M Felleisen
Venue:In Proc. ACM Conference on Foundations of Software Engineering