Tim Andrews
-
Formalization and application of a unifying model for name management
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering