@ARTICLE{bowman:reasoning, author = {Bowman, Mic and Debray, Saumya K. and Peterson, Larry L.}, title = {Reasoning About Naming Systems}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {15}, number = {5}, pages = {795-825}, month = {November}, year = {1993}, doi = {10.1145/161468.161471}, } @ARTICLE{braams:babel, author = {Braams, Johannes}, title = {Babel, a Multilingual Style-Option System for Use with LaTeX's Standard Document Styles}, journal = {TUGboat}, volume = {12}, number = {2}, pages = {291-301}, month = {June}, year = {1991}, } @INPROCEEDINGS{clark:pct, AUTHOR = "Malcolm Clark", TITLE = "Post Congress Tristesse", BOOKTITLE = "TeX90 Conference Proceedings", PAGES = "84-89", ORGANIZATION = "TeX Users Group", MONTH = "March", YEAR = {1991} } @ARTICLE{herlihy:methodology, author = {Herlihy, Maurice}, title = {A Methodology for Implementing Highly Concurrent Data Objects}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {15}, number = {5}, pages = {745-770}, month = {November}, year = {1993}, doi = {10.1145/161468.161469}, } @BOOK{Lamport:LaTeX, AUTHOR = "Leslie Lamport", TITLE = "LaTeX User's Guide and Document Reference Manual", PUBLISHER = "Addison-Wesley Publishing Company", ADDRESS = "Reading, Massachusetts", YEAR = "1986" } @BOOK{salas:calculus, AUTHOR = "S.L. Salas and Einar Hille", TITLE = "Calculus: One and Several Variable", PUBLISHER = "John Wiley and Sons", ADDRESS = "New York", YEAR = "1978" } @MANUAL{Fear05, title = {Publication quality tables in {\LaTeX}}, author = {Simon Fear}, month = {April}, year = 2005, note = {\url{http://www.ctan.org/pkg/booktabs}} } @Manual{Amsthm15, title = {Using the amsthm Package}, organization = {American Mathematical Society}, month = {April}, year = 2015, note = {\url{http://www.ctan.org/pkg/amsthm}} }