| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960 |
- @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} }
- @ARTICLE{braams:babel,
- AUTHOR = "Johannes Braams",
- 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 = "Maurice Herlihy",
- 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} }
- @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" }
|
