Toward a formal theory of extensible software (1998)

by Shriram Krishnamurthi, Matthias Felleisen
Venue:In Proceedings of the ACM SIGSOFT 6th International Symposium on the Foundations of Software Engineering (FSE-98