1# 2# "@(#)bib.spe 2.2 09/09/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.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', 162in \\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.. 213