Alan Kaplan, Jack C. Wileden
Formalization and Application of a Unifying Model for Name Management
FSE, 1995.
@inproceedings{FSE-1995-KaplanW, author = "Alan Kaplan and Jack C. Wileden", booktitle = "{Proceedings of the Third Symposium on Foundations of Software Engineering}", doi = "10.1145/222124.222152", editor = "Gail E. Kaiser", pages = "161--172", publisher = "{ACM}", title = "{Formalization and Application of a Unifying Model for Name Management}", year = 1995, }