|
|
1.1 root 1: #
2: # "@(#)bib.spe 2.2 9/9/83";
3: #
4: # Software - Practice and Exprience format
5: #
6: I BMACLIB/bibinc.shortnames
7: D PROC Proceedings
8: D CONF Conference
9: D SYMP Symposium
10: D DISS Dissertation
11: D POPL Annual ACM SYMP on Principles of Programming Languages
12: D POPL3 CONF Record of the Third POPL
13: D POPL4 CONF Record of the Fourth POPL
14: D POPL5 CONF Record of the Fifth POPL
15: D POPL6 CONF Record of the Sixth POPL
16: D POPL7 CONF Record of the Seventh POPL
17: D POPL8 CONF Record of the Eighth POPL
18: D POPL9 CONF Record of the Ninth POPL
19: D POPL10 CONF Record of the Tenth POPL
20: D STOC Annual ACM SYMP on Theory of Computing
21: D FOCS Annual SYMP on Foundations of Computer Science
22: D SOSP SYMP on Operating System Principles
23: D ICSE International CONF on Software Engineering
24: D IFIPS PROC IF\&IPS
25: #
26: # months
27: #
28: D JAN
29: D FEB
30: D MAR
31: D APR
32: D MAY
33: D JUN
34: D JUL
35: D AUG
36: D SEP
37: D OCT
38: D NOV
39: D DEC
40: #
41: # miscellaneous
42: #
43: D CORP Corporation
44: D DEPT Department
45: D DIV Division
46: D UNIV University
47: D UA The UNIV of Arizona
48: D TR Tech. Rep.
49: D DCS DEPT of Computer Science
50: D UADCS DCS, UA
51: D DCSUA DCS, UA
52: D CSD Computer Science DEPT
53: AA
54: EA
55: H
56: .\" citation formatting string
57: .ds [[ \s-2\u
58: .ds ]] \d\s0
59: .ds [{ " \&
60: .ds }]
61: .ds [.
62: .ds .] .
63: .ds [,
64: .ds ,] ,
65: .ds [?
66: .ds ?] ?
67: .ds [:
68: .ds :] :
69: .ds [;
70: .ds ;] ;
71: .ds [!
72: .ds !] !
73: .ds ["
74: .ds "] \&"
75: .ds ['
76: .ds '] '
77: .ds [<
78: .ds >] " \&
79: .ds ], ,
80: .ds ]- -
81: .\" reference formmating strings
82: .ds c] , \&
83: .ds n] "" and \&
84: .ds m] "" and \&
85: .ds a] " \&
86: .ds b] , \&
87: .ds p] .
88: .\" reference formating macros
89: .de s[ \" start reference
90: .nh
91: .IP \\*([F. 5n
92: ..
93: .de e[ \" end reference
94: .[-
95: ..
96: .de [] \" start to display collected references
97: .LP
98: ..
99: .de ][ \" choose format
100: .ie !"\\*([J"" \{\
101: . ie !"\\*([V"" .nr t[ 1 \" journal
102: . el .nr t[ 5 \" conference paper
103: .\}
104: .el .ie !"\\*([B"" .nr t[ 3 \" article in book
105: .el .ie !"\\*([R"" .nr t[ 4 \" technical report
106: .el .ie !"\\*([I"" .nr t[ 2 \" book
107: .el .nr t[ 0 \" other
108: .\\n(t[[
109: ..
110: .de 0[ \" other
111: .s[
112: .if !"\\*([A"" \\*([A,
113: .if !"\\*([E"" \{\
114: . ie \\n([E \\*([E, eds.,
115: . el \\*([E, ed.,\}
116: .if !"\\*([T"" \\*([T\c
117: .if !"\\*([O"" , \\*([O\c
118: .if !"\\*([D"" , \\*([D\c
119: \\&.
120: .e[
121: ..
122: .de 1[ \" journal article
123: .s[
124: .if !"\\*([A"" \\*([A,
125: .if !"\\*([E"" \{\
126: . ie \\n([E \\*([E, eds.,
127: . el \\*([E, ed.,\}
128: .if !"\\*([T"" `\\*([T',
129: \\fI\\*([J\\fP,
130: .if !"\\*([V"" \\fB\\*([V\\fP,
131: .if !"\\*([P"" \\*([P
132: .if !"\\*([D"" (\\*([D)\c
133: .if !"\\*([I"" , \\*([I\c
134: \\&.
135: .if !"\\*([O"" \\*([O.
136: .e[
137: ..
138: .de 2[ \" book
139: .s[
140: .ie !"\\*([A"" \\*([A,
141: .if !"\\*([E"" \{\
142: . ie \\n([E \\*([E, eds.,
143: . el \\*([E, ed.,\}
144: .if !"\\*([T"" \\fI\\*([T\\fP,
145: .rm a[
146: .if !"\\*([I"" .ds a[ \\*([I
147: .if !"\\*([C"" \{\
148: . if !"\\*(a["" .as a[ , \\&
149: . as a[ \\*([C\}
150: .if !"\\*([D"" \{\
151: . if !"\\*(a["" .as a[ , \\&
152: . as a[ \\*([D\}
153: \\*(a[.
154: .if !"\\*([G"" Gov. ordering no. \\*([G.
155: .if !"\\*([O"" \\*([O.
156: .e[
157: ..
158: .de 3[ \" article in book
159: .s[
160: .if !"\\*([A"" \\*([A,
161: .if !"\\*([T"" `\\*([T',
162: in \\fI\\*([B\\fP,
163: .if !"\\*([V"" vol. \\*([V,
164: .if !"\\*([E"" \{\
165: . ie \\n([E \\*([E, (eds.),
166: . el \\*([E, (ed.),\}
167: .if !"\\*([I"" \\*([I,
168: .if !"\\*([C"" \\*([C,
169: .if !"\\*([D"" \\*([D\c
170: \\&.
171: .if !"\\*([O"" \\*([O.
172: .e[
173: ..
174: .de 4[ \" report
175: .s[
176: .if !"\\*([A"" \\*([A,
177: .if !"\\*([E"" \{\
178: . ie \\n([E \\*([E, eds.,
179: . el \\*([E, ed.,\}
180: `\\*([T',
181: \\*([R\c
182: .if !"\\*([G"" \& (\\*([G)\c
183: .if !"\\*([I"" , \\*([I\c
184: .if !"\\*([C"" , \\*([C\c
185: .if !"\\*([D"" , \\*([D\c
186: \\&.
187: .if !"\\*([O"" \\*([O.
188: .e[
189: ..
190: .de 5[ \" conference paper
191: .s[
192: .if !"\\*([A"" \\*([A,
193: .if !"\\*([E"" \{\
194: . ie \\n([E \\*([E, eds.,
195: . el \\*([E, ed.,\}
196: .if !"\\*([T"" `\\*([T',
197: \\fI\\*([J\\fP,
198: .if !"\\*([C"" \\*([C\c
199: .if !"\\*([P"" , \\*([P\c
200: .if !"\\*([D"" \& (\\*([D)\c
201: \\&.
202: .if !"\\*([O"" \& \\*([O.
203: .e[
204: ..
205: .de [- \" clean up after yourself
206: .rm [A [B [C [D
207: .rm [E [F [G
208: .rm [I [J [K
209: .rm [N [O [P
210: .rm [R [T
211: .rm [V [W
212: ..
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.