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