Reasoning about naming systems
Mic Bowman, Saumya Debray, Larry Peterson · ACM Transactions on Programming Languages and Systems · 1993
This paper defines a simple model, called a preference hierarchy, that provides a framework for using the information available to a naming system to compute the object(s) identified by a given name. The preference hierarchy therefore serves as a formal tool for designing and reasoning about naming systems.