%0 Journal Article %1 paper:bowman:1993 %A Bowman, Mic %A Debray, Saumya K. %A Peterson, Larry L. %C New York, NY, USA %D 1993 %I ACM %J ACM Trans. Program. Lang. Syst. %K reasoning to-read %N 5 %P 795--825 %R http://doi.acm.org/10.1145/161468.161471 %T Reasoning about naming systems %U http://portal.acm.org/citation.cfm?doid=161468.161471 %V 15

@article{paper:bowman:1993, added-at = {2009-05-28T08:33:11.000+0200}, address = {New York, NY, USA}, author = {Bowman, Mic and Debray, Saumya K. and Peterson, Larry L.}, biburl = {https://www.bibsonomy.org/bibtex/2d4c6e71bcc6112cc82ad2ae588207d30/mschuber}, description = {Reasoning about naming systems}, doi = {http://doi.acm.org/10.1145/161468.161471}, interhash = {f80ab3b0761ae585512055d967c9b7ce}, intrahash = {d4c6e71bcc6112cc82ad2ae588207d30}, issn = {0164-0925}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {reasoning to-read}, number = 5, pages = {795--825}, publisher = {ACM}, timestamp = {2009-05-28T08:33:11.000+0200}, title = {Reasoning about naming systems}, url = {http://portal.acm.org/citation.cfm?doid=161468.161471}, volume = 15, year = 1993 }