A micromodularity mechanism (2001)

by Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
Venue:In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE