1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
% acmtr.bib
% $Header: acmtr.bib,v 1.3 96/01/30 14:27:43 boyland Exp $
@mastersthesis{ko94,
author = "Jacob Kornerup",
title = "Mapping Powerlists onto Hypercubes",
school = "The University of Texas at Austin",
note = "(In preparation)",
year = "1994"}
%month = "dec",}
@PhdThesis{gerndt:89,
author = "Michael Gerndt",
title = "Automatic Parallelization for Distributed-Memory
Multiprocessing Systems",
school = "University of Bonn",
year = 1989,
address = "Bonn, Germany",
month = dec
}
@article{6:1:1,
author = "J. E. {Archer, Jr.} and R. Conway and F. B. Schneider",
title = "User recovery and reversal in interactive systems",
journal = "ACM Trans. Program. Lang. Syst.",
volume = "6",
number = "1",
month = jan,
year = 1984,
pages = "1--19"}
@article{7:1:137,
author = "D. D. Dunlop and V. R. Basili",
title = "Generalizing specifications for uniformly implemented loops",
journal = "ACM Trans. Program. Lang. Syst.",
volume = "7",
number = "1",
month = jan,
year = 1985,
pages = "137--158"}
@article{7:2:183,
author = "J. Heering and P. Klint",
title = "Towards monolingual programming environments",
journal = "ACM Trans. Program. Lang. Syst.",
volume = "7",
number = "2",
month = apr,
year = 1985,
pages = "183--213"}
@book{knuth:texbook,
author = "Donald E. Knuth",
title = "The {\TeX{}book}",
publisher = "Addison-Wesley",
address = "Reading, Mass.",
year = 1984}
@article{6:3:380,
author = "E. Korach and D. Rotem and N. Santoro",
title = "Distributed algorithms for finding centers and medians in networks",
journal = "ACM Trans. Program. Lang. Syst.",
volume = "6",
number = "3",
month = jul,
year = 1984,
pages = "380--401"}
@book{lamport:latex,
author = "Leslie Lamport",
title = "\it {\LaTeX}: A Document Preparation System",
publisher = "Addison-Wesley",
address = "Reading, Mass.",
year = 1986}
@article{7:3:359,
author = "F. Nielson",
title = "Program transformations in a denotational setting",
journal = "ACM Trans. Program. Lang. Syst.",
volume = "7",
number = "3",
month = jul,
year = 1985,
pages = "359--379"}
%testing
@article{test,
author = "F. Nielson",
title = "Program transformations in a denotational setting",
journal = "ACM Trans. Program. Lang. Syst.",
volume = "7",
number = "3",
month = jul,
year = 1986,
pages = "359--379"}
@inproceedings{reid:scribe,
author = "Brian K. Reid",
title = "A high-level approach to computer document formatting",
booktitle = "Proceedings of the Seventh Annual Symposium on Principles of
Programming Languages",
month = jan,
year = 1980,
publisher = "ACM",
address = "New York",
pages = "24--31"}
|
