10 lines
281 B
BibTeX
10 lines
281 B
BibTeX
|
@ARTICLE{bowman:reasoning,
|
||
|
|
AUTHOR = "Mic Bowman and Saumya K. Debray and Larry L. Peterson",
|
||
|
|
TITLE = "Reasoning About Naming Systems",
|
||
|
|
JOURNAL = "ACM Trans. Program. Lang. Syst.",
|
||
|
|
VOLUME = {15},
|
||
|
|
NUMBER = {5},
|
||
|
|
PAGES = {795-825},
|
||
|
|
MONTH = "November",
|
||
|
|
YEAR = {1993} }
|