%0 Journal Article %1 journals/toplas/BowmanDP93 %A Bowman, Mic %A Debray, Saumya K. %A Peterson, Larry L. %D 1993 %J ACM Trans. Program. Lang. Syst. %K dblp %N 5 %P 795-825 %T Reasoning About Naming Systems. %U http://dblp.uni-trier.de/db/journals/toplas/toplas15.html#BowmanDP93 %V 15

@article{journals/toplas/BowmanDP93, added-at = {2018-11-06T00:00:00.000+0100}, author = {Bowman, Mic and Debray, Saumya K. and Peterson, Larry L.}, biburl = {https://www.bibsonomy.org/bibtex/22b9dbc6ae4231a626e6284180a4c4011/dblp}, ee = {https://doi.org/10.1145/161468.161471}, interhash = {f80ab3b0761ae585512055d967c9b7ce}, intrahash = {2b9dbc6ae4231a626e6284180a4c4011}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 5, pages = {795-825}, timestamp = {2018-11-07T12:36:23.000+0100}, title = {Reasoning About Naming Systems.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas15.html#BowmanDP93}, volume = 15, year = 1993 }