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