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