annotate docs/WAC2016/sigproc.bib @ 1090:c07b9e2312ba

Merge
author Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
date Wed, 09 Mar 2016 14:36:47 +0000
parents
children
rev   line source
n@1090 1 @ARTICLE{bowman:reasoning,
n@1090 2 AUTHOR = "Mic Bowman and Saumya K. Debray and Larry L. Peterson",
n@1090 3 TITLE = "Reasoning About Naming Systems",
n@1090 4 JOURNAL = "ACM Trans. Program. Lang. Syst.",
n@1090 5 VOLUME = {15},
n@1090 6 NUMBER = {5},
n@1090 7 PAGES = {795-825},
n@1090 8 MONTH = "November",
n@1090 9 YEAR = {1993} }
n@1090 10
n@1090 11 @ARTICLE{braams:babel,
n@1090 12 AUTHOR = "Johannes Braams",
n@1090 13 TITLE = "Babel, a Multilingual Style-Option System for Use with LaTeX's Standard Document Styles",
n@1090 14 JOURNAL = {TUGboat},
n@1090 15 VOLUME = {12},
n@1090 16 NUMBER = {2},
n@1090 17 PAGES = {291-301},
n@1090 18 MONTH = "June",
n@1090 19 YEAR = {1991} }
n@1090 20
n@1090 21 @INPROCEEDINGS{clark:pct,
n@1090 22 AUTHOR = "Malcolm Clark",
n@1090 23 TITLE = "Post Congress Tristesse",
n@1090 24 BOOKTITLE = "TeX90 Conference Proceedings",
n@1090 25 PAGES = "84-89",
n@1090 26 ORGANIZATION = "TeX Users Group",
n@1090 27 MONTH = "March",
n@1090 28 YEAR = {1991} }
n@1090 29
n@1090 30 @ARTICLE{herlihy:methodology,
n@1090 31 AUTHOR = "Maurice Herlihy",
n@1090 32 TITLE = "A Methodology for Implementing Highly Concurrent
n@1090 33 Data Objects",
n@1090 34 JOURNAL = {ACM Trans. Program. Lang. Syst.},
n@1090 35 VOLUME = {15},
n@1090 36 NUMBER = {5},
n@1090 37 PAGES = {745-770},
n@1090 38 MONTH = "November",
n@1090 39 YEAR = {1993} }
n@1090 40
n@1090 41 @BOOK{Lamport:LaTeX,
n@1090 42 AUTHOR = "Leslie Lamport",
n@1090 43 TITLE = "LaTeX User's Guide and Document Reference Manual",
n@1090 44 PUBLISHER = "Addison-Wesley Publishing Company",
n@1090 45 ADDRESS = "Reading, Massachusetts",
n@1090 46 YEAR = "1986" }
n@1090 47
n@1090 48 @BOOK{salas:calculus,
n@1090 49 AUTHOR = "S.L. Salas and Einar Hille",
n@1090 50 TITLE = "Calculus: One and Several Variable",
n@1090 51 PUBLISHER = "John Wiley and Sons",
n@1090 52 ADDRESS = "New York",
n@1090 53 YEAR = "1978" }
n@1090 54
n@1090 55
n@1090 56
n@1090 57
n@1090 58
n@1090 59