1# 2# "@(#)bib.spe2 2.3 05/17/84"; 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 53A 54H 55.\" citation formatting string 56.ds [[ \s-2\u 57.ds ]] \d\s0 58.ds [{ " \& 59.ds }] 60.ds [. . 61.ds .] 62.ds [, , 63.ds ,] 64.ds [< 65.ds >] " \& 66.ds ], , 67.ds ]- - 68.\" reference formmating strings 69.ds a] " \& 70.ds b] , \& 71.ds c] , \& 72.ds n] "" and \& 73.ds m] "" and \& 74.ds p] . 75.\" reference formmating macros 76.de s[ \" start reference 77.LP 78.in +4n 79.ti -4n 80.ta 3nR 4n 81\\&\t\\*([F.\t\c 82.nh 83.. 84.de e[ \" end reference 85.in -4n 86.[- 87.. 88.de [] \" start to display collected references 89.. 90.de ][ \" choose format 91.ie !"\\*([J"" \{\ 92. ie !"\\*([V"" .nr t[ 1 \" journal 93. el .nr t[ 5 \" conference paper 94.\} 95.el .ie !"\\*([B"" .nr t[ 3 \" article in book 96.el .ie !"\\*([R"" .nr t[ 4 \" technical report 97.el .ie !"\\*([I"" .nr t[ 2 \" book 98.el .nr t[ 0 \" other 99.\\n(t[[ 100.. 101.de 0[ \" other 102.s[ 103.if !"\\*([A"" \\*([A, 104.if !"\\*([T"" \\*([T, 105.if !"\\*([O"" \\*([O\c 106.if !"\\*([D"" , \\*([D\c 107\\&. 108.e[ 109.. 110.de 1[ \" journal article 111.s[ 112.if !"\\*([A"" \\*([A, 113.if !"\\*([T"" `\\*([T', 114\\fI\\*([J\\fP, 115.if !"\\*([V"" \\fB\\*([V\\fP, 116.if !"\\*([P"" \\*([P 117.if !"\\*([D"" (\\*([D)\c 118.if !"\\*([I"" , \\*([I\c 119\\&. 120.if !"\\*([O"" \\*([O. 121.e[ 122.. 123.de 2[ \" book 124.s[ 125.ie !"\\*([A"" \\*([A, 126.el .if !"\\*([E"" \{\ 127. ie \\n([E \\*([E, eds., 128. el \\*([E, ed.,\} 129.if !"\\*([T"" \\fI\\*([T\\fP, 130.rm a[ 131.if !"\\*([I"" .ds a[ \\*([I 132.if !"\\*([C"" \{\ 133. if !"\\*(a["" .as a[ , \\& 134. as a[ \\*([C\} 135.if !"\\*([D"" \{\ 136. if !"\\*(a["" .as a[ , \\& 137. as a[ \\*([D\} 138\\*(a[. 139.if !"\\*([G"" Gov. ordering no. \\*([G. 140.if !"\\*([O"" \\*([O. 141.e[ 142.. 143.de 3[ \" article in book 144.s[ 145.if !"\\*([A"" \\*([A, 146.if !"\\*([T"" `\\*([T', 147in \\fI\\*([B\\fP, 148.if !"\\*([V"" vol. \\*([V, 149.if !"\\*([E"" \\*([E (ed.), 150.if !"\\*([I"" \\*([I, 151.if !"\\*([C"" \\*([C, 152.if !"\\*([D"" \\*([D\c 153\\&. 154.if !"\\*([O"" \\*([O. 155.e[ 156.. 157.de 4[ \" report 158.s[ 159.if !"\\*([A"" \\*([A, 160`\\*([T', 161\\*([R\c 162.if !"\\*([G"" \& (\\*([G)\c 163.if !"\\*([I"" , \\*([I\c 164.if !"\\*([C"" , \\*([C\c 165.if !"\\*([D"" , \\*([D\c 166\\&. 167.if !"\\*([O"" \\*([O. 168.e[ 169.. 170.de 5[ \" conference paper 171.s[ 172.if !"\\*([A"" \\*([A, 173.if !"\\*([T"" `\\*([T', 174\\fI\\*([J\\fP, 175.if !"\\*([C"" \\*([C\c 176.if !"\\*([P"" , \\*([P\c 177.if !"\\*([D"" \& (\\*([D)\c 178\\&. 179.if !"\\*([O"" \\*([O. 180.e[ 181.. 182.de [- \" clean up after yourself 183.rm [A [B [C [D 184.rm [E [F [G 185.rm [I [J [K 186.rm [N [O [P 187.rm [R [T 188.rm [V [W 189.. 190