Clair Michael Bowman, II;Larry L. Peterson
-;-
Reasoning about naming systems
ACM Transactions on Programming Languages and Systems (TOPLAS)