n@1236: @ARTICLE{bowman:reasoning,
n@1236: 	AUTHOR = "Mic Bowman and Saumya K. Debray and Larry L. Peterson",
n@1236: 	TITLE = "Reasoning About Naming Systems",
n@1236: 	JOURNAL = "ACM Trans. Program. Lang. Syst.",
n@1236: 	VOLUME = {15},
n@1236: 	NUMBER = {5},
n@1236: 	PAGES = {795-825},
n@1236: 	MONTH = "November",
n@1236: 	YEAR = {1993}	}
n@1236: 
n@1236: @ARTICLE{braams:babel,
n@1236: 	AUTHOR = "Johannes Braams",
n@1236: 	TITLE = "Babel, a Multilingual Style-Option System for Use with LaTeX's Standard Document Styles",
n@1236: 	JOURNAL = {TUGboat},
n@1236: 	VOLUME = {12},
n@1236: 	NUMBER = {2},
n@1236: 	PAGES = {291-301},
n@1236: 	MONTH = "June",
n@1236: 	YEAR = {1991}	}
n@1236: 
n@1236: @INPROCEEDINGS{clark:pct,
n@1236: 	AUTHOR = "Malcolm Clark",
n@1236: 	TITLE = "Post Congress Tristesse",
n@1236: 	BOOKTITLE = "TeX90 Conference Proceedings",
n@1236: 	PAGES = "84-89",
n@1236: 	ORGANIZATION = "TeX Users Group",
n@1236: 	MONTH = "March", 
n@1236: 	YEAR = {1991}	}
n@1236: 
n@1236: @ARTICLE{herlihy:methodology,
n@1236: 	AUTHOR = "Maurice Herlihy",
n@1236: 	TITLE = "A Methodology for Implementing Highly Concurrent
n@1236: 	Data Objects",
n@1236: 	JOURNAL = {ACM Trans. Program. Lang. Syst.},
n@1236: 	VOLUME = {15},
n@1236: 	NUMBER = {5},
n@1236: 	PAGES = {745-770},
n@1236: 	MONTH = "November",
n@1236: 	YEAR = {1993}	}
n@1236: 
n@1236: @BOOK{Lamport:LaTeX,
n@1236: 	AUTHOR = "Leslie Lamport",
n@1236: 	TITLE = "LaTeX User's Guide and Document Reference Manual",
n@1236: 	PUBLISHER = "Addison-Wesley Publishing Company",
n@1236: 	ADDRESS = "Reading, Massachusetts",
n@1236: 	YEAR = "1986"	}
n@1236: 
n@1236: @BOOK{salas:calculus,
n@1236: 	AUTHOR = "S.L. Salas and Einar Hille",
n@1236: 	TITLE = "Calculus: One and Several Variable",
n@1236: 	PUBLISHER = "John Wiley and Sons",
n@1236: 	ADDRESS = "New York",
n@1236: 	YEAR = "1978"	}
n@1236: 
n@1236: 
n@1236: 
n@1236: 
n@1236: 
n@1236: