Reasoning about naming systems. (1993)

by M Bowman, S K Debray, L L Peterson
Venue:ACM Trans. Program.