budd (04/26/83)
echo x - bib.hnf
cat >bib.hnf <<'!Funky!Stuff!'
#
# Hanson Normal Form
#
SAD-2
CA3lD-2
A
I BMACLIB/bibinc.shortnames
.so \*(l]/bmac.std
.de s[ \" start reference
.nh
.IP [\\*([F] 2m
.br
..
!Funky!Stuff!
echo x - bib.list
cat >bib.list <<'!Funky!Stuff!'
#
# format for listrefs
#
I BMACLIB/bibinc.shortnames
T AT
H
.so \*(l]/bmac.std
.de s[ \" start reference
.nh
.LP
..
.LP
.if t \{\
. nr LL 6.0i
. nr LT \n(LL
. nr PS 7
. nr VS 8.5p\}
.LP
.nr X 1
!Funky!Stuff!
echo x - bib.opena
cat >bib.opena <<'!Funky!Stuff!'
#
# standard open alphabetic format
#
SAD-2
C2D-2
I BMACLIB/bibinc.fullnames
T AT
.so \*(l]/bmac.open
# a[ - amount to indent reference
.nr a[ 9
!Funky!Stuff!
echo x - bib.openn
cat >bib.openn <<'!Funky!Stuff!'
#
# standard open numeric format
#
SAD-2
C1
I BMACLIB/bibinc.fullnames
H
T AT
# a[ - amount to indent references
.so \*(l]/bmac.open
.nr a[ 5
!Funky!Stuff!
echo x - bib.spe
cat >bib.spe <<'!Funky!Stuff!'
#
# Software - Practice and Exprience format
#
I BMACLIB/bibinc.shortnames
D PROC Proceedings
D CONF Conference
D SYMP Symposium
D DISS Dissertation
D POPL Annual ACM SYMP on Principles of Programming Languages
D POPL3 CONF Record of the Third POPL
D POPL4 CONF Record of the Fourth POPL
D POPL5 CONF Record of the Fifth POPL
D POPL6 CONF Record of the Sixth POPL
D POPL7 CONF Record of the Seventh POPL
D POPL8 CONF Record of the Eighth POPL
D POPL9 CONF Record of the Ninth POPL
D POPL10 CONF Record of the Tenth POPL
D STOC Annual ACM SYMP on Theory of Computing
D FOCS Annual SYMP on Foundations of Computer Science
D SOSP SYMP on Operating System Principles
D ICSE International CONF on Software Engineering
D IFIPS PROC IF\&IPS
#
# months
#
D JAN
D FEB
D MAR
D APR
D MAY
D JUN
D JUL
D AUG
D SEP
D OCT
D NOV
D DEC
#
# miscellaneous
#
D CORP Corporation
D DEPT Department
D DIV Division
D UNIV University
D UA The UNIV of Arizona
D TR Tech. Rep.
D DCS DEPT of Computer Science
D UADCS DCS, UA
D DCSUA DCS, UA
D CSD Computer Science DEPT
A
H
.\" citation formatting string
.ds [[ \s-2\u
.ds ]] \d\s0
.ds [{ " \&
.ds }]
.ds [.
.ds .] .
.ds [,
.ds ,] ,
.ds [<
.ds >] " \&
.ds ], ,
.ds ]- -
.\" reference formmating strings
.ds a] " \&
.ds b] , \&
.ds c] , \&
.ds n] "" and \&
.ds m] "" and \&
.ds p] .
.\" reference formmating macros
.de s[ \" start reference
.nh
.IP \\*([F. 5n
..
.de e[ \" end reference
.[-
..
.de [] \" start to display collected references
.SH
References
.LP
..
.de ][ \" choose format
.ie !"\\*([J"" \{\
. ie !"\\*([V"" .nr t[ 1 \" journal
. el .nr t[ 5 \" conference paper
.\}
.el .ie !"\\*([B"" .nr t[ 3 \" article in book
.el .ie !"\\*([R"" .nr t[ 4 \" technical report
.el .ie !"\\*([I"" .nr t[ 2 \" book
.el .nr t[ 0 \" other
.\\n(t[[
..
.de 0[ \" other
.s[
.if !"\\*([A"" \\*([A,
.if !"\\*([T"" \\*([T,
.if !"\\*([O"" \\*([O\c
.if !"\\*([D"" , \\*([D\c
\\&.
.e[
..
.de 1[ \" journal article
.s[
.if !"\\*([A"" \\*([A,
.if !"\\*([T"" `\\*([T',
\\fI\\*([J\\fP,
.if !"\\*([V"" \\fB\\*([V\\fP,
.if !"\\*([P"" \\*([P
.if !"\\*([D"" (\\*([D)\c
.if !"\\*([I"" , \\*([I\c
\\&.
.if !"\\*([O"" \\*([O.
.e[
..
.de 2[ \" book
.s[
.ie !"\\*([A"" \\*([A,
.el .if !"\\*([E"" \{\
. ie \\n([E \\*([E, eds.,
. el \\*([E, ed.,\}
.if !"\\*([T"" \\fI\\*([T\\fP,
.rm a[
.if !"\\*([I"" .ds a[ \\*([I
.if !"\\*([C"" \{\
. if !"\\*(a["" .as a[ , \\&
. as a[ \\*([C\}
.if !"\\*([D"" \{\
. if !"\\*(a["" .as a[ , \\&
. as a[ \\*([D\}
\\*(a[.
.if !"\\*([G"" Gov. ordering no. \\*([G.
.if !"\\*([O"" \\*([O.
.e[
..
.de 3[ \" article in book
.s[
.if !"\\*([A"" \\*([A,
.if !"\\*([T"" `\\*([T',
in \\fI\\*([B\\fP,
.if !"\\*([V"" vol. \\*([V,
.if !"\\*([E"" \\*([E (ed.),
.if !"\\*([I"" \\*([I,
.if !"\\*([C"" \\*([C,
.if !"\\*([D"" \\*([D\c
\\&.
.if !"\\*([O"" \\*([O.
.e[
..
.de 4[ \" report
.s[
.if !"\\*([A"" \\*([A,
`\\*([T',
\\*([R\c
.if !"\\*([G"" \& (\\*([G)\c
.if !"\\*([I"" , \\*([I\c
.if !"\\*([C"" , \\*([C\c
.if !"\\*([D"" , \\*([D\c
\\&.
.if !"\\*([O"" \\*([O.
.e[
..
.de 5[ \" conference paper
.s[
.if !"\\*([A"" \\*([A,
.if !"\\*([T"" `\\*([T',
\\fI\\*([J\\fP,
.if !"\\*([C"" \\*([C\c
.if !"\\*([P"" , \\*([P\c
.if !"\\*([D"" \& (\\*([D)\c
\\&.
.if !"\\*([O"" \\*([O.
.e[
..
.de [- \" clean up after yourself
.rm [A [B [C [D
.rm [E [F [G
.rm [I [J [K
.rm [N [O [P
.rm [R [T
.rm [V [W
..
!Funky!Stuff!
echo x - bib.stda
cat >bib.stda <<'!Funky!Stuff!'
#
# standard alphabetic format
#
I BMACLIB/bibinc.shortnames
C2D-2
SAD-2
A
.so \*(l]/bmac.std
.de s[ \" start reference
.nh
.IP [\\*([F] 9n
..
!Funky!Stuff!
echo x - bib.stdn
cat >bib.stdn <<'!Funky!Stuff!'
#
# standard numeric format
#
I BMACLIB/bibinc.shortnames
H
A
.so \*(l]/bmac.std
.de s[ \" start reference
.nh
.IP \\*([F. 5n
..
!Funky!Stuff!
echo x - bib.stdsn
cat >bib.stdsn <<'!Funky!Stuff!'
#
# standard sorted numeric
#
I BMACLIB/bib.stdn
SAD-2
!Funky!Stuff!
echo x - bib.supn
cat >bib.supn <<'!Funky!Stuff!'
#
# standard superscipted numeric format
#
C1
I BMACLIB/bibinc.fullnames
H
T AT
.so \*(l]/bmac.std
.\" redefine string for citations
.ds [[ \s-2\u
.ds ]] \d\s+2
.ds [.
.ds .] .
.ds [<
.ds >] \ \&
.ds [,
.ds ,] ,
.de s[ \" start reference
.nh
.IP \\*([F. 5n
..
!Funky!Stuff!
echo x - bibinc.fullnam
cat >bibinc.fullnam <<'!Funky!Stuff!'
# full journal names, and other names
#
# journals
D ACTA Acta Informatica
D BIT B\&IT
D BSTJ Bell System Technical Journal
D CACM Communications of the ACM
D COMP IEEE Computer
D COMPJOUR The Computer Journal
D COMPLANG Journal of Computer Languages
D COMPSUR ACM Computing Surveys
D I&C Information and Control
D IEEETSE IEEE Transactions on Software Engineering
D IEEETC IEEE Transactions on Computers
D IPL Information Processing Letters
D JACM Journal of the ACM
D JCSS Journal of Computer and System Sciences
D NMATH Numerical Mathematics
D SIAMJC Siam Journal on Computing
D SIAMJNA Siam Journal on Numerical Analysis
D SIGACT S\&IGACT News
D SIGPLAN SI\&GPLAN Notices
D SIGSOFT Software Engineering Notes
D SP&E Software\(emPractice & Experience
D SPE Software\(emPractice & Experience
D TODS ACM Transactions on Database Systems
D TOMS ACM Transactions on Mathematical Software
D TOPLAS ACM Transactions on Programming Languages and Systems
#
# CONFs
#
D PROC Proceedings
D CONF Conference
D SYMP Symposium
D POPL ACM SYMP on Principles of Programming Languages
D POPL5 CONF Record of the Fifth POPL\
%C Tucson, Arizona\
%D JAN 1978
D POPL6 CONF Record of the Sixth POPL\
%C San Antonio, Texas\
%D JAN 1979
D POPL7 CONF Record of the Seventh POPL\
%C Las Vegas, Nevada\
%D JAN 1980
D POPL8 CONF Record of the Eighth POPL\
%C Williamsburg, Virginia\
%D JAN 1981
D POPL9 CONF Record of the Ninth POPL\
%C Albuquerque, New Mexico\
%D JAN 1982
D POPL10 CONF Record of the Tenth POPL
D STOC Annual ACM SYMP on Theory of Computing
D FOCS Annual SYMP on Foundations of Computer Science
D SOSP SYMP on Operating System Principles
D ICSE International CONF on Software Engineering
D JICAI Joint International CONF on Artificial Intelligence
D HICSS Hawaii International CONF on System Science
#
# publishers
#
I BMACLIB/bibinc.publishers
#
# months
#
D JAN January
D FEB February
D MAR March
D APR April
D MAY May
D JUN June
D JUL July
D AUG August
D SEP September
D OCT October
D NOV November
D DEC December
#
# miscellaneous
#
D DEPT Department
D UNIV University
D TR Technical Report
D UATR UNIV of Arizona TR
D DCS DEPT of Computer Science
D CSD Computer Science DEPT
D DISS Dissertation
!Funky!Stuff!
echo x - bibinc.publish
cat >bibinc.publish <<'!Funky!Stuff!'
#
# publishers
#
D NYC New York, N\&Y
D ACPRESS Academic Press\
%C NYC
D ACADEMIC ACPRESS
D ADDISON Addison Wesley\
%C Reading, M\&A
D FREEMAN W. H. Freeman and Company\
%C San Francisco, CA
D CSPRESS Computer Science Press\
%C Woodland Hills, CA
D ELSEVIER American Elsevier
D IEEEP IEEE Press\
%C Montvale, NJ
D MGHILL McGraw-Hill\
%C NYC
D MITP MIT Press\
%C Cambridge, M\&A
D NHOLL North-Holland\
%C NYC
D PRHALL Prentice Hall\
%C Englewood Cliffs, NJ
D WILEY John Wiley & Sons\
%C NYC
D SPRINGER Springer Verlag
D SRA Science Research Associates
D WINTH Winthrop Publishers
!Funky!Stuff!
echo x - bibinc.shortna
cat >bibinc.shortna <<'!Funky!Stuff!'
# abbreviated journal names, and other names
#
# journals
D ACTA Acta Inf.
D BIT B\&IT
D BSTJ Bell System Tech. J.
D CACM Comm. ACM
D COMP Computer
D COMPJOUR Computer J.
D COMPLANG J. Computer Lang.
D COMPSUR Computing Surveys
D I&C Inf. and Control
D IEEETSE IEEE Trans. on Software Eng.
D IEEETC IEEE Trans. on Computers
D IPL Inf. Proc. Letters
D JACM J. ACM
D JCSS J. Computer and System Sciences
D SIGACT S\&IGACT News
D SIGPLAN SI\&GPLAN Notices
D SIGSOFT Software Eng. Notes
D SP&E Software\(emPractice & Experience
D SPE SP&E
D TODS ACM Trans. Database Systems
D TOPLAS ACM Trans. Prog. Lang. and Systems
#
# conferences
#
D PROC Proc.
D CONF Conf.
D SYMP Symp.
D POPL ACM SYMP on Prin. of Programming Languages
D POPL3 CONF Rec. 3rd POPL
D POPL4 CONF Rec. 4th POPL
D POPL5 CONF Rec. 5th POPL
D POPL6 CONF Rec. 6th POPL
D POPL7 CONF Rec. 7th POPL
D POPL8 CONF Rec. 8th POPL
D POPL9 CONF Rec. 9th POPL
D POPL10 CONF Rec. 10th POPL
D STOC Annual ACM SYMP on Theory of Computing
D FOCS Annual SYMP on Foundations of Computer Science
D SOSP SYMP on Operating System Prin.
D ICSE Int. CONF on Software Eng.
D IFIPS PROC IF\&IPS
D HICSS Hawaii Inter. CONF on System Science
#
# publishers
#
I BMACLIB/bibinc.publishers
#
# months
#
D JAN Jan.
D FEB Feb.
D MAR Mar.
D APR Apr.
D MAY May
D JUN June
D JUL July
D AUG Aug.
D SEP Sep.
D OCT Oct.
D NOV Nov.
D DEC Dec.
#
# miscellaneous
#
D CORP Corp.
D DEPT Dept.
D DIV Div.
D UNIV Univ.
D UA The UNIV of Arizona
D TR Tech. Rep.
D UATR UA TR
D DCS DEPT of Computer Science
D UADCS DCS, UA
D DCSUA DCS, UA
D CSD Computer Science DEPT
D DISS Diss.
!Funky!Stuff!
echo x - bmac.open
cat >bmac.open <<'!Funky!Stuff!'
.\" open format troff macros
.\" citation formatting strings
.ds [[ [
.ds ]] ]
.ds ], ,\|
.ds ]- -
.ds [. " \&
.ds .] .
.ds [, " \&
.ds ,] ,
.ds [< " \&
.ds >]
.\" reference formmating strings
.ds a] " \&
.ds b] , \&
.ds c] , \&
.ds n] "" and \&
.ds m] "" and \&
.ds p] .
.\" reference formatting macros
.de s[ \" start reference
.nh
.IP [\\*([F]\0 \\n(a[
..
.de e[ \" end reference
.[-
..
.de [] \" start to display collected references
.SH
References
.LP
..
.de ][ \" choose format
.ie !"\\*([J"" .nr t[ 1 \" journal
.el .ie !"\\*([B"" .nr t[ 3 \" article in book
.el .ie !"\\*([R"" .nr t[ 4 \" technical report
.el .ie !"\\*([I"" .nr t[ 2 \" book
.el .nr t[ 0 \" other
.\\n(t[[
..
.de 0[ \" other
.s[
.if !~\\*(]A~.~ .as [A .
.if !~\\*([A~~ \\*([A
.br
.if !~\\*(]T~.~ .as [T .
.if !~\\*([T~~ \\*([T
.br
.if !~\\*([O~~ \\*([O\c
.if !~\\*([D~~ , \\*([D\c
\&.
.e[
..
.de 1[ \" journal article
.s[
.if !~\\*(]A~.~ .as [A .
.if !~\\*([A~~ \\*([A
.br
.if !~\\*(]T~.~ .as [T .
.if !~\\*([T~~ \\*([T
.br
.ds a[ \\fI\\*([J\\fP
.ie !"\\*([V"" \{\
. as a[ , \\*([V
. if !~\\*([N~~ .as a[ (\\*([N)
. if !~\\*([P~~ .as a[ :\\*([P\}
.el .if !~\\*([P~~ .as a[ , pages \\*([P
.if !~\\*([I~~ .as a[ , \\*([I
.if !~\\*([D~~ .as a[ , \\*([D
\\*(a[.
.br
.if !~\\*([O~~ \\*([O
.e[
..
.de 2[ \" book
.s[
.if !~\\*(]A~.~ .as [A .
.ie !"\\*([A"" \\*([A
.el .if !~\\*([E~~ \{\
. ie \\n([E-1 \\*([E, editors.
. el \\*([E, editor.\}
.br
.if !~\\*(]T~.~ .as [T .
.if !~\\*([T~~ \\fI\\*([T\\fP
.br
.rm a[
.if !~\\*([I~~ .ds a[ \\*([I
.if !~\\*([C~~ \{\
. if !~\\*(a[~~ .as a[ , \&
. as a[ \\*([C\}
.if !~\\*([D~~ \{\
. if !~\\*(a[~~ .as a[ , \&
. as a[ \\*([D\}
\\*(a[.
.br
.if !~\\*([G~~ Government ordering number \\*([G.
.br
.if !~\\*([O~~ \\*([O.
.e[
..
.de 3[ \" article in book
.s[
.if !~\\*(]A~.~ .as [A .
.if !~\\*([A~~ \\*([A
.br
.if !~\\*(]T~.~ .as [T .
.if !~\\*([T~~ \\*([T
.br
.if !~\\*([P~~ pp. \\*([P \c
in \\fI\\*([B\\fP\c
.if !~\\*([V~~ , Vol \\*([V\c
.if !~\\*([E~~ , ed. \\*([E\c
\&.
.br
.if !~\\*([I~~ \\*([I\c
.if !~\\*([C~~ , \\*([C\c
.if !~\\*([D~~ , \\*([D\c
\&.
.if !~\\*([O~~ \\*([O.
.e[
..
.de 4[ \" report
.s[
.if !~\\*(]A~.~ .as [A .
.if !~\\*([A~~ \\*([A
.br
.if !~\\*(]T~.~ .as [T .
\\*([T
.br
\\*([R\c
.if !~\\*([G~~ \& (\\*([G)\c
.if !~\\*([I~~ , \\*([I\c
.if !~\\*([C~~ , \\*([C\c
.if !~\\*([D~~ , \\*([D\c
\&.
.br
.if !~\\*([O~~ \\*([O.
.e[
..
.de [- \" clean up after yourself
.rm [A [B [C [D
.rm [E [F [G
.rm [I [J [K
.rm [N [O [P
.rm [R [T
.rm [V [W
.rm ]A ]T
..
!Funky!Stuff!
echo x - bmac.std
cat >bmac.std <<'!Funky!Stuff!'
.\" standard format troff commands
.\" citation formatting strings
.ds [[ [
.ds ]] ]
.ds ], ,\|
.ds ]- -
.ds [. " \&
.ds .] .
.ds [, " \&
.ds ,] ,
.ds [< " \&
.ds >]
.\" reference formmating strings
.ds a] " \&
.ds b] , \&
.ds c] , \&
.ds n] "" and \&
.ds m] "" and \&
.ds p] .
.\" reference formmating macros
.de s[ \" start reference
.nh
.IP [\\*([F] 5m
..
.de e[ \" end reference
.[-
..
.de [] \" start to display collected references
.SH
References
.LP
..
.de ][ \" choose format
.ie !"\\*([J"" \{\
. ie !"\\*([V"" .nr t[ 1 \" journal
. el .nr t[ 5 \" conference paper
.\}
.el .ie !"\\*([B"" .nr t[ 3 \" article in book
.el .ie !"\\*([R"" .nr t[ 4 \" technical report
.el .ie !"\\*([I"" .nr t[ 2 \" book
.el .nr t[ 0 \" other
.\\n(t[[
..
.de 0[ \" other
.s[
.if !"\\*([A"" \\*([A,
.if !"\\*([T"" \\*([T,
.if !"\\*([O"" \\*([O\c
.if !"\\*([D"" , \\*([D\c
\&.
.e[
..
.de 1[ \" journal article
.s[
.if !"\\*([A"" \\*([A,
.if !"\\*([T"" \\*([T,
\\fI\\*([J \\*([V\\fP,
.if !"\\*([N"" \\*([N
.if !"\\*([D"" (\\*([D),
.if !"\\*([P"" \\*([P\c
.if !"\\*([I"" , \\*([I\c
\\&.
.if !"\\*([O"" \\*([O.
.e[
..
.de 2[ \" book
.s[
.ie !"\\*([A"" \\*([A,
.el .if !"\\*([E"" \{\
. ie \\n([E-1 \\*([E, eds.,
. el \\*([E, ed.,\}
.if !"\\*([T"" \\fI\\*([T\\fP,
.rm a[
.if !"\\*([I"" .ds a[ \\*([I
.if !"\\*([C"" \{\
. if !"\\*(a["" .as a[ , \\&
. as a[ \\*([C\}
.if !"\\*([D"" \{\
. if !"\\*(a["" .as a[ , \\&
. as a[ \\*([D\}
\\*(a[.
.if !"\\*([G"" Gov. ordering no. \\*([G.
.if !"\\*([O"" \\*([O.
.e[
..
.de 3[ \" article in book
.s[
.if !"\\*([A"" \\*([A,
.if !"\\*([T"" \\*([T,
in \\fI\\*([B\\fP,
.if !"\\*([V"" vol. \\*([V,
.if !"\\*([E"" \\*([E (ed.),
.if !"\\*([I"" \\*([I,
.if !"\\*([C"" \\*([C,
.if !"\\*([D"" \\*([D\c
.if !"\\*([P"" , \\*([P\c
\\&.
.if !"\\*([O"" \\*([O.
.e[
..
.de 4[ \" report
.s[
.if !"\\*([A"" \\*([A,
\\*([T,
\\*([R\c
.if !"\\*([G"" \& (\\*([G)\c
.if !"\\*([I"" , \\*([I\c
.if !"\\*([C"" , \\*([C\c
.if !"\\*([D"" , \\*([D\c
\\&.
.if !"\\*([O"" \\*([O.
.e[
..
.de 5[ \" conference paper
.s[
.if !"\\*([A"" \\*([A,
.if !"\\*([T"" \\*([T,
\\fI\\*([J\\fP,
.if !"\\*([C"" \\*([C,
.if !"\\*([D"" \\*([D\c
.if !"\\*([P"" , \\*([P\c
\\&.
.if !"\\*([O"" \\*([O.
.e[
..
.de [- \" clean up after yourself
.rm [A [B [C [D
.rm [E [F [G
.rm [I [J [K
.rm [N [O [P
.rm [R [T
.rm [V [W
..
!Funky!Stuff!
echo x - common
cat >common <<'!Funky!Stuff!'
and
for
the
an
be
of
in
at
on
by
to
no
as
tr
with
some
about
jan
feb
mar
apr
may
june
jun
july
jul
aug
sep
sept
oct
nov
dec
!Funky!Stuff!