annotate docs/WAC2016/sigproc.bib @ 1102:b5bf2f57187c

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