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