summaryrefslogtreecommitdiff
path: root/obsolete/macros/latex209/contrib/fac/facguide.tex
blob: 45e0558ac4d7ba590cb747c7568d1b7333019f5e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
% FACGUIDE.TEX
% v1.12 released 14th October 1998
% Copyright (C) 1991, 1997, 1998 Cambridge University Press

\documentstyle{fac}

% The following macros automatically define symbols to be used in Table 1 of
% the authors' guide, using characters from the AMS symbol fount MSAM.

\newif\ifmsafound
\ifCUPmtlplainloaded \else
  \checkfont{msam5}
  \iffontfound
    \msafoundtrue
    \font\fivemsa=msam5
    \newfam\msafam
    \textfont\msafam=\fivemsa
    \edef\msa{\hexnumber\msafam}
    \mathchardef\blacktriangleright="3\msa49
    \mathchardef\vartriangleright="3\msa42
    \newcommand\black{\raisebox{.2ex}{$\blacktriangleright$}}
    \newcommand\white{\raisebox{.2ex}{$\vartriangleright$}}
    \newcommand\whbl{\white\kern-1pt--\black}
    \newcommand\blwh{\black\kern-1pt--\white}
    \newcommand\blbl{\black\kern-1pt--\black}
    \newcommand\whwh{\white\kern-1pt--\white}
  \fi
\fi

\newcommand\eg{{\it e.g.\ }}
\newcommand\etc{{\it etc}}
\newcommand\visiblespace{\leavevmode\hbox{\tt\char`\ }}
\renewcommand\LaTeX{L\kern-.36em\raise.3ex\hbox{a}\kern-.15em
  T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}

\newtheorem{theorem}{Theorem}[section]

\title[Formal Aspects of Computing: \LaTeX\ Submissions]
      {Formal Aspects of Computing:\\
       \LaTeX\ Style Guide for Authors}

\author[C. Notarmarco and R. Mulvey]
    {Christiane Notarmarco$^1$ and Rod Mulvey$^2$\\
      $^1$Springer-Verlag London Limited, Springer House, 
      Wimbledon, SW19 7JZ, UK;\\ $^2$\TeX-to-type,
      Cambridge University Press, Shaftesbury Road, 
      Cambridge, CB2 2BS,\\ UK}

\correspond{Christiane Notarmarco, Springer-Verlag London
            Limited, Springer House, 8 Alexandra Road,
            Wimbledon, London, SW19 7JZ, UK.}

\pubyear{1998}
\pagerange{\pageref{firstpage}--\pageref{lastpage}}

\begin{document}
\label{firstpage}

\makecorrespond
\maketitle

\begin{keywords}
\LaTeX; Style files; \verb"fac.sty"; Sample text; User guide
\end{keywords}

\begin{abstract}
This guide is for authors who are preparing papers for
{\em Formal Aspects of Computing\/} using the \LaTeX\ document
preparation system and the FAC style file.
\end{abstract}

\section{Introduction}

In addition to the standard submission of hard-copy from authors,
{\em Formal Aspects of Computing\/} accepts machine-readable forms of
papers in \LaTeX.
The layout design for {\em Formal Aspects of Computing\/} has been
implemented as a \LaTeX\ style file.
The FAC style is based on the \verb"ARTICLE" style as discussed in the
\LaTeX\ manual \cite{Lam:LaTeX}.
Commands which differ from the standard \LaTeX\ interface, or which are
provided in addition to the standard interface, are explained in this
guide. This guide is not a substitute for the \LaTeX\ manual itself.
Authors planning to submit their papers in \LaTeX\ are advised to use
\verb"fac.sty" as early as possible in the creation of their files.

\subsection{Introduction to \LaTeX}

\LaTeX\ is constructed as a series of macros on top of the \TeX\
typesetting program.
\LaTeX\ adds to \TeX\ a collection of facilities which simplify typesetting
for authors by allowing them to concentrate on the logical structure of the
document rather than its visual layout.
Careful use of the \LaTeX\ mark-up philosophy results in uniform
layout rather than the {ad hoc} results of some word-processing systems.
Authors are advised to let the defaults control fount selection, \etc.\
rather than tinker themselves.

\LaTeX\ provides a consistent and comprehensive document preparation
interface. There are macros for generating a table of contents,
lists of figures and/or tables;
\LaTeX\ can automatically number list entries, equations, figures, tables,
and footnotes, as well as parts, sections and subsections.
Using this numbering system, bibliographic citations, page references and
cross references to any other numbered entity (\eg sections, equations,
figures, list entries) are straightforward.

\subsection{The FAC Document Style}

The use of document styles allows a simple change of style (or style
option) to transform the appearance of your document.
The Springer-Verlag London Limited (SVL) FAC style file preserves the
standard \LaTeX\ interface such that any document which can be produced
using the standard \LaTeX\ \verb"ARTICLE" style, can also be produced with
the FAC style.
However, the measure (or width of text) is wider than the default for
\verb"ARTICLE" therefore line breaks will change and long equations may
need re-setting.
Authors are urged to use \verb"fac.sty" from the beginning of their
document preparation; in particular, they are advised not to use wider
measures as given by \verb"a4.sty", \etc.\ because this will involve
changes after they think their submissions are technically accurate.

\subsection{General Style Issues}

Use of \LaTeX\ defaults will result in a pleasing uniformity of layout
and fount selection. Authors should resist the temptation to make
{\em ad hoc\/} changes to these.
Whether using the default founts or not, displayed mathematics should
be set in a distinct fount from running text and the same fount should
be used where formulae occur in running text.
In addition to the standard \TeX\ and \LaTeX\ founts, authors can use the
AMS {\em msam\/} and {\em msbm\/} founts.  The AMS {\em msam\/}
founts have been used in Table~\ref{symbols} to define some of the
characters in the first four lines.

The final makeup will use Times Roman founts and if these are
available to authors (\eg via PSLaTeX) they should be employed in order
to ensure good use of space (they are in general more economical than
computer modern founts).

For general style issues, authors are referred to the `Instructions for
authors' in the FAC journal. Authors who are interested in the detail of style
are referred to \cite{But:Copy} and \cite{Chicago}. The language of the
journal is British English and spelling should conform to this.

Use should be made of symbolic references (\verb"\ref") in order to
protect against late changes of order, \etc.

\subsection{Submission of \LaTeX\ Articles to the Journal}

Authors who intend to submit a \LaTeX\ article to FAC should obtain a
copy of the journal's style file \verb"fac.sty". This is available on
request in the first instance from Springer-Verlag London Limited; remember to
specify the type of media you require. Alternatively, you can download
the files from one of the CTAN (Comprehensive TeX Archive Network) anonymous
FTP sites around the world: \verb"ftp.tex.ac.uk" (England), \verb"ftp.dante.de"
(Germany) or \verb"ctan.tug.org" (US).

The required files \verb"fac.sty" and \verb"facguide.tex" can be found in the
directory \verb"tex-archive/macros/latex209/contrib/publications". If you
cannot obtain the journal style file, use \verb"ARTICLE" style.

When submitting the final article, ensure that  the following are included:
\begin{enumerate}
 \item Hardcopy printout of the article;
 \item The input file;
 \item A copy of all user-defined macros;
 \item Bibliography files, or if you have used BIB\TeX, the \verb".bib"
                 and \verb".bbl" files;
 \item Any other files necessary to prepare the article
           for typesetting.
\end{enumerate}
The files for the {\em final\/} article should be text-only with no 
system dependent control codes. Submit this, if at all possible, by 
e-mail over JANET, and the hardcopy by post to D.\,J. Cooke (see the 
inside-cover of the journal for correct e-mail and postal addresses). 
If you do not have access to e-mail, send the files on disc -- PC $5 
{1\over4\,}$in.\ or Apple $3 {1\over 2\,}$in.\ -- along with the hard copy to D.\,J. Cooke.

\section{Using the FAC Style}

First, copy the file \verb"fac.sty" into an appropriate subdirectory on
your system.
The FAC document style is implemented as a complete document style {\em
not\/} a document style option.
In order to use the FAC style, replace \verb"article" by \verb"fac" in the
\verb"\documentstyle" command at the beginning of your document:
%
\begin{verbatim}
  \documentstyle{article}
\end{verbatim}
is replaced by,
\begin{verbatim}
  \documentstyle{fac}
\end{verbatim}
%
In general, the following standard document style options should {\em
not\/} be used with the FAC style:
%
\begin{itemize}
  \item {\tt 10pt}, {\tt 11pt}, {\tt 12pt} -- unavailable.
  \item {\tt draft}, {\tt twoside} (no associated style file) -- {\tt
     twoside} is the default.
  \item {\tt fleqn}, {\tt leqno}, {\tt titlepage}, {\tt twocolumn} --
        should not be used (\verb"fleqn" is already incorporated into
        the FAC style).
\end{itemize}
%
However, {\tt proc}, {\tt ifthen}, {\tt bezier} -- can be used if
necessary.

\section{Additional Facilities}

In addition to all the standard \LaTeX\ design elements, the FAC style
includes the following features:
%
\begin{itemize}
  \item Extended commands for specifying a short version of the title and
        author(s) for the running headlines.
  \item \verb"\correspond" and \verb"\makecorrespond" commands for printing
     the name and address for further correspondence.
  \item A \verb"keywords" environment.
  \item A \verb"proof" environment.
  \item Control of enumerated lists.
\end{itemize}
%
In general, once you have used the additional \verb"fac.sty"
facilities in your document, do not process it with a standard \LaTeX\
style file.

\subsection{Titles and Author's Name}

In the FAC style, the title of the article and the author's name (or
authors' names) are used both at the beginning of the article for the main
title and throughout the article as running headlines at the top of every
page.
The title is used on odd-numbered pages (rectos) and the author's name
appears on even-numbered pages (versos).
Although the main heading can run to several lines of text, the running
head line must be a single line.
Moreover, the main heading can also incorporate new line commands
(\eg \verb"\\") but these are not acceptable in a running headline.
To enable you to specify an alternative short title, which should not be
more than 48 characters and spaces, and an alternative short author's name,
the standard \verb"\title" and \verb"\author" commands have been extended
to take an optional argument to be used as the running headline:
%
\begin{verbatim}
 \title[Formal Aspects of Computing: \LaTeX\ submissions]
        {Formal Aspects of Computing:\\
        \LaTeX\ Style Guide for Authors}
\end{verbatim}
and,
\begin{verbatim}
  \author[C. Notarmarco and R. Mulvey]
    {Christiane Notarmarco$^1$ and Rod Mulvey$^2$\\
      $^1$Springer-Verlag London Limited, Springer House, 
      Wimbledon, SW19 7JZ, UK;\\ $^2$\TeX-to-type,
      Cambridge University Press, Shaftesbury Road, 
      Cambridge,\\ UK}
\end{verbatim}

You may wish to add a \verb"\thanks" note, which produces a footnote to the
title or author. In the latter case, the superscripts by the authors' names
will be automatically generated.

\subsection{Correspondence Note}

The footnote at the bottom of the first page is generated automatically,
and begins with the words {\it Correspondence and offprint
requests to\/{\rm:\visiblespace }}.
The appropriate name and address must be given as an argument to the macro
\verb"\correspond" in the preamble:
%
\begin{verbatim}
  \correspond{Christiane Notarmarco, Springer-Verlag
              London Limited, Springer House, 8 Alexandra
              Road, Wimbledon, London, SW19 7JZ, UK.}
\end{verbatim}
%
This information is subsequently used by the command
\verb"\makecorrespond". This may be placed anywhere
after \verb"\begin{document}"  within the text of the first page. If you
have other footnotes on the first page, \verb"\makecorrespond" should
follow them so as to make {\em Correspondence and \ldots} print at the foot
of the page.

If you omit the \verb"\correspond" and \verb"\makecorrespond" commands,
the name in the correspondence note defaults to the short author's name.

\subsection{Keywords and Abstracts}

At the beginning of your article, the title should be generated in the
usual way using the \verb"\maketitle" command. Immediately following the
title you should include a list of keywords followed by an abstract. For
example, the titles for this guide were produced by the following source:
%
\begin{verbatim}
  \maketitle
  \begin{keywords}
    \LaTeX; Style files; \verb"fac.sty"; Sample text;
    User guide
  \end{keywords}

  \begin{abstract}
    This guide is for authors who are preparing papers
    for {\em Formal Aspects of Computing\/} using the
    \LaTeX\ document preparation system and the FAC style
    file.
  \end{abstract}

  \section{Introduction}
  ...
\end{verbatim}
The abstract is automatically followed by a 12~pica rule.

\subsection{Proofs}

The \verb"proof" environment has been added to the standard \LaTeX\
constructs to provide a consistent format for proofs.
For example,
%
\begin{verbatim}
  \newtheorem{theorem}{Theorem}[section]
  ...
  \begin{theorem}
    $VS \Rightarrow FP$ for program {\em Multi-States}.
  \end{theorem}
  \begin{proof}
    Noting that a state satisfying $VS$ has no elements
    $V_{xi}$ of $V$ satisfying $0<V_{xi}<1$, it follows
    that the proof is just as the proof was for the
    corresponding case of {\em Bi-States}.
  \end{proof}
\end{verbatim}
%
produces the following text:
%
  \begin{theorem}
    $VS \Rightarrow FP$ for program {\em Multi-States}.
  \end{theorem}
  \begin{proof}
    Noting that a state satisfying $VS$ has no elements
    $V_{xi}$ of $V$ satisfying $0<V_{xi}<1$, it follows
    that the proof is just as the proof was for the
    corresponding case of {\em Bi-States}.
  \end{proof}

\subsection{Lists}

The FAC style provides the three standard list environments:
\begin{itemize}
  \item Numbered lists, created using the \verb"enumerate" environment.
  \item Bulleted lists, created using the \verb"itemize" environment.
  \item Labelled lists, created using the \verb"description" environment.
\end{itemize}
The enumerated list numbers each list item with an arabic numeral.
Alternative styles can be achieved by inserting a redefinition of the
number labelling command after the \verb"\begin{enumerate}".
For example, a list numbered with roman numerals inside parentheses can be
produced by the following commands:
%
\begin{verbatim}
  \begin{enumerate}
   \renewcommand{\theenumi}{(\roman{enumi})}
   \item first item
         :
  \end{enumerate}
\end{verbatim}
%
This produces the following list:
%
\begin{enumerate}
  \renewcommand{\theenumi}{(\roman{enumi})}
  \item first item
  \item second item
  \item \etc\ldots
\end{enumerate}
%
In the last example, the labels were pushed out into the margin  because
the standard list indentation is designed to be sufficient for arabic
numerals rather than the longer roman numerals. In order to enable
different labels to be used more easily, the \verb"enumerate" environment
in the FAC style can be given an optional argument which (like a standard
\verb"bibliography" environment) specifies the {\em widest label}. For
example,
%
\begin{enumerate}[(iii)]
\renewcommand{\theenumi}{(\roman{enumi})}
  \item first item
  \item second item
  \item \etc\ldots
\end{enumerate}
%
was produced by the following input:
%
\begin{verbatim}
  \begin{enumerate}[(iii)]
   \renewcommand{\theenumi}{(\roman{enumi})}
   \item first item
         :
  \end{enumerate}
\end{verbatim}

\section{Some Guidelines for Using Standard Facilities}

The following notes may help you achieve the best effects with the FAC
style file.

\subsection{Sections}

\LaTeX\ provides five levels of section headings and they are all
defined in the FAC style file:
%
\begin{itemize}
  \item \verb"\section"
  \item \verb"\subsection"
  \item \verb"\subsubsection"
  \item \verb"\paragraph"
  \item \verb"\subparagraph"
\end{itemize}
%
Section numbers are given for sections, subsection and subsubsection
headings.

\subsection{Running Headlines}

As described above, the title of the article and the author's name (or
authors' names) are used as running headlines at the top of every page.
The \verb"\pagestyle" and \verb"\thispagestyle" commands should {\em not\/}
be used. Similarly, the commands \verb"\markright" and \verb"\markboth"
should not be necessary.

\subsection{Illustrations (or Figures)}

The FAC style will cope with most positioning of your illustrations and you
should not normally use the optional positional qualifiers on the
\verb"figure" environment which would override these decisions.
See `Instructions for authors' in FAC journal for submission of artwork.
Figure captions should be below the figure itself therefore the
\verb"\caption"
command should appear after the figure or space left for an illustration.
For example, Figure~\ref{sample-figure} is produced using the following
commands:
%
\begin{verbatim}
  \begin{figure}
     \centering
     \vspace{5cm}
     \caption{An example figure in which space has been
              left for the artwork}
     \label{sample-figure}
  \end{figure}
\end{verbatim}
%
  \begin{figure}
     \centering
     \vspace{5cm}
     \caption{An example figure in which space has been
              left for the artwork}
     \label{sample-figure}
  \end{figure}

\subsection{Tables}
\begin{table}
  \caption{Index of Symbols}
  \begin{tabular}{@{}ll@{}}
   \hline
   Symbol\hspace{1cm}  & Meaning \\
   \hline
\ifmsafound
   \whbl               & \hbox{Forward closure} \\
   \blwh               & \hbox{Backward closure} \\
   \blbl               & \hbox{Overlap closure} \\
   \whwh               & \hbox{Rule closure} \\
\fi
   $\leadsto$          & \hbox{Rule closure constructor} \\
   $\bigtriangleup$    & \hbox{Substitution sum} \\
   $\cdot$             & \hbox{Substitution composition} \\
   $\sqcup$            & \hbox{Substitution join} \\
   $\bot$              & \hbox{Coherence relation} \\
   $-^n$               & \hbox{Substitution operator 
                                         (exponent)} \\
   $W_n(-,-)$          & \hbox{Substitution operator 
                                         (Whale)} \\
   $T_n(-,-,-)$        & \hbox{Substitution operator 
                                         (Turtle)} \\
   \hline
  \end{tabular}
  \label{symbols}
\end{table}

The FAC style will cope with most positioning of your tables
and you should not normally use the optional positional qualifiers on the
\verb"table" environment which would override these decisions.
Table captions should be at the top, therefore the \verb"\caption" command
should appear before the body of the table.

The \verb"tabular" environment should be used to produce ruled tables;
it has been modified for the FAC style in the following ways:
%
\begin{enumerate}
  \item Rules may either be two-thirds or the full width of a page, 
depending on the width of the material in your table. \verb"\hline" 
will produce a rule two-thirds the width and \verb"\fullhline" will 
produce a rule the full width of a page;
  \item Additional vertical space is inserted on either side of a rule;
  \item Vertical lines are not produced.
\end{enumerate}
%
Commands to redefine quantities such as \verb"\arraystretch" should be
omitted.
For example, Table~\ref{symbols} is produced using the following
commands:
%
\begin{verbatim}
\begin{table}
  \caption{Index of Symbols}
  \begin{tabular}{@{}ll@{}}
   \hline
   Symbol\hspace{1cm}  & Meaning \\
   \hline
   $\leadsto$          & \hbox{Rule closure constructor} \\
   $\bigtriangleup$    & \hbox{Substitution sum} \\
   $\cdot$             & \hbox{Substitution composition} \\
   $\sqcup$            & \hbox{Substitution join} \\
   $\bot$              & \hbox{Coherence relation} \\
   $-^n$               & \hbox{Substitution operator 
                                         (exponent)} \\
   $W_n(-,-)$          & \hbox{Substitution operator 
                                         (Whale)} \\
   $T_n(-,-,-)$        & \hbox{Substitution operator 
                                         (Turtle)} \\
   \hline
  \end{tabular}
  \label{symbols}
\end{table}
\end{verbatim}

\subsubsection{Continued captions}

If a table or figure will not fit onto a single page and has to broken into
more than one part, the subsequent parts should have a `continued' caption.
To achieve
this, use \verb"\contcaption" instead of \verb"\caption", in the subsequent
figure or table environments.  The \verb"\contcaption" uses exactly the same
syntax as the normal \verb"\caption" command, except it does not step
the counter.

\subsection{Displayed Mathematics}

The FAC style will set displayed mathematics with the correct indent
provided you use the \LaTeX\ standard of open and closed square brackets 
as delimiters. The following equation
  \[ \sum_{i=1}^p \lambda_i = {\rm trace}({\bf S}) \]
was typeset in the FAC style using the commands:
\begin{verbatim}
  \[ \sum_{i=1}^p \lambda_i = {\rm trace}({\bf S}) \]
\end{verbatim}
Note the difference between the positioning of this equation and of
the following centred equation
  $$ \alpha_{j+1} > \bar{\alpha}+ks_{\alpha} $$
which was (wrongly) typeset using double dollars as follows:
\begin{verbatim}
  $$ \alpha_{j+1} > \bar{\alpha}+ks_{\alpha} $$
\end{verbatim}

\subsection{Bibliography}

References to published literature should be quoted in text by an
abbreviation in square brackets of name(s) (three letters) and date (two
digits). See examples below for style.
This is consistent with the Bib\TeX\ bibliography style `\verb"alpha".'
Where more than one reference is cited having the author(s) and date, the
letters a,b,c, \ldots\ should follow the date (\eg [Smi88a], [Smi88b],
\etc.). References should be listed in \verb"thebibliography" environment
alphabetically by author(s)' name(s) and then by year if the same author
has several papers.

The following listing shows some references prepared in the style of the
journal:
%
\begin{verbatim}
  \begin{thebibliography}{Lam86}
   \bibitem[But81]{But:Copy}
   Butcher, J.:
   {\em Copy-editing: The Cambridge Handbook.}
   Cambridge University Press, 1981.

   \bibitem[Chi69]{Chicago}
   {\em The Chicago Manual of Style.}
   University of Chicago Press, Chicago 60637, USA, 1982.

   \bibitem[For84]{For:Program}
   Forgaard, R.:
   A Program for Generating and Analyzing Term Rewriting
   Systems,
   Master's Thesis, MIT Lab. for Computer Science, 1984.

   \bibitem[JLR82]{Jou:Recursive}
   Jouannaud, J. P., Lescanne, P. and Reinig, F.:
   Recursive Decomposition Ordering,
   {\em Proc.\ Conf. on Formal Description of Programming
   Concepts II}, \,pp.\ 331--346, 1982.

   \bibitem[Lam86]{Lam:LaTeX}
   Lamport, L.:
   {\em LaTeX: A Document Preparation System.}
   Addison-Wesley, New York, 1986.

   \bibitem[Ped85]{Ped:Obtaining}
   Pederson, J.:
   Obtaining Complete Sets of Reproductions and Equations
   without Using Special Unification Algorithms.
   Unpublished manuscript, 1985.

   \bibitem[PeS81]{Pet:Complete}
   Peterson, G. E. and Stickel, M. E.:
   Complete Sets of Reductions for Some Equational
   Theories. {\em J.\ ACM}, {\bf 28}, 223--264 (1981).
  \end{thebibliography}
\end{verbatim}
%
This produces the following references:
%
\begin{thebibliography}{Lam86}
%
\bibitem[But81]{But:Copy}
Butcher, J.:
{\em Copy-editing: The Cambridge Handbook.}
Cambridge University Press, 1981.

\bibitem[Chi69]{Chicago}
{\em The Chicago Manual of Style.}
University of Chicago Press, Chicago 60637, USA, 1982.

\bibitem[For84]{For:Program}
Forgaard, R.:
A Program for Generating and Analyzing Term Rewriting Systems,
Master's Thesis, MIT Lab. for Computer Science, 1984.

\bibitem[JLR82]{Jou:Recursive}
Jouannaud, J. P., Lescanne, P. and Reinig, F.:
Recursive Decomposition Ordering,
{\em Proc.\ Conf. on Formal Description of Programming Concepts
II}, \,pp.\ 331--346, 1982.

\bibitem[Lam86]{Lam:LaTeX}
Lamport, L.:
{\em LaTeX: A Document Preparation System.}
Addison-Wesley, New York, 1986.

\bibitem[Ped85]{Ped:Obtaining}
Pederson, J.:
Obtaining Complete Sets of Reproductions and Equations without Using
Special Unification Algorithms. Unpublished manuscript, 1985.

\bibitem[PeS81]{Pet:Complete}
Peterson, G. E. and Stickel, M. E.:
Complete Sets of Reductions for Some Equational Theories. {\em J.\ ACM},
{\bf 28}, 223--264 (1981).
%
\end{thebibliography}

\ifCUPmtlplainloaded
\newpage
\appendix
\section{Notes for editors}

This appendix contains additional information which may be useful to those
who are involved with the final production stages of an article. Authors,
who are generally not typesetting the final pages in the journal's correct
typeface (Monotype Times), do not need this information.

\subsection{Catchline commands}

To be placed in the preamble:
\begin{itemize}
\item \verb"\pubyear{}"
\item \verb"\volume{}"
\item \verb"\pagerange{}"
\end{itemize}

\subsection{New and changed things}

\subsubsection{\tt FAClogo.sty}

The \verb"faclogo" style option has been modified for use in electronic papers
(Computer Modern) as well as in the production typeface (Monotype Times).
The correct fonts are automatically selected.
Do not use the old \verb"CMLOGO.STY".

\subsubsection{Short communications}

The modifications made by the old style file \verb"newtitle.sty" have been
built into the main style file (\verb"FAC.sty"). To activate this option you
have to place \verb"\shortcom" in the preamble of the article. Then you have
to add the `edited by' information with the \verb"\editor{}" command.
Do not use \verb"newtitle.sty".

\subsubsection{Forthcoming events}

The old version(s) of the style file ($<$v1.2), required the use of
\verb"fac2col.sty", to allow two-column mode (which is normally disaabled
in FAC). The main style file has an new document option \verb"forthevt",
which automatically allows FAC to use two-column and loads the extra
\verb"facevent.sty". You should not load \verb"facevent" yourself.
The \verb"fac2col.sty" option should not be used.


\newcommand\lra{\quad\longrightarrow\quad}

\section{Macros provided by {\tt FACsym.sty}}

\subsection{Automatic font/character changes}

\begin{itemize}\itemsep=6pt
\item The \verb|\le|, \verb|\leq|, \verb|\ge|, \verb|\geq| commands
use the equivalent AMS slanted symbols:
\[
\oldle \oldleq \oldge \oldgeq
 \lra
\le \leq \ge \geq
\]
The normal characters can be obtained by using the \verb|\old| form
(\eg \verb|\oldge|).

\item The \verb"\normalsize" size is fully loaded, so that all font styles
should work in text, script and scriptscript sizes.
\end{itemize}

\subsection{Additional fonts}

\begin{itemize}\itemsep=6pt
\item The complete (v1) AMS symbols are available using the normal names:
\[
\hbox{\verb"\boxdot \boxplus \boxtimes"} \lra
  \boxdot \boxplus \boxtimes
\]

\item Blackboard bold:
\[
\hbox{\verb"$\Bbb{ABC}$"} \lra \Bbb{ABC}
\]

\item Fraktur/Gothic:
\[
   \hbox{\verb"$\frak{ABC}$"} \lra \frak{ABC}
\]

\item Monotype Script and bold Script:\\[6pt]
\verb"  $\mathscr{ABCabc}$ " $\lra \mathscr{ABCabc}$\\
\verb"  $\mathbscr{ABCabc}$" $\lra \mathbscr{ABCabc}$\\[6pt]
You may still use \verb"\cal" to obtain upper-case Script characters.

\item Bold math italic/symbols are provided by the \verb"\bmath" macro.
\verb"FACsym" also defines most of the
symbols from Appendix F of the \TeX book. These can be obtained by using
their normal (unbold) symbol name prefixed with a `b'. \eg \verb|\nabla|
becomes \verb|\bnabla|. The only exception to this rule is \verb|\eta|,
which whould lead to a clash with \verb|\beta|. In this case use
\verb|\boldeta| for bold eta.

\item Upright Greek: The \verb"\upmath" and \verb"\bupmath" macros are provided to obtain
upright lowercase Greek characters.\\[6pt]
%
\verb"  $\upmath{\alpha}$" $\lra \upmath{\alpha}$ \qquad
\verb"$\bupmath{\alpha}$" $\lra \bupmath{\alpha}$

\item Sans serif symbols:
The \verb"\sf" command changes the typeface to sans serif, giving upright characters.
Occasionally, bold-sloping sans serif is needed. You should use the following supplied
macros to obtain these fonts.\\[6pt]
%
\verb"  {\sf text}     " $\lra$ {\sf text}
  \qquad \verb"${\sf math}$     " $\lra {\sf math}$\\
\verb"  \textsfi{text} " $\lra$ \textsfi{text}
  \qquad \verb"$\mathsfi{math}$ " $\lra \mathsfi{math}$\\
\verb"  \textsfb{text} " $\lra$ \textsfb{text}
  \qquad \verb"$\mathsfb{math}$ " $\lra \mathsfb{math}$\\
\verb"  \textsfbi{text}" $\lra$ \textsfbi{text}
  \qquad \verb"$\mathsfbi{math}$" $\lra \mathsfbi{math}$\\[6pt]

\end{itemize}

\section{Producing electronic versions of papers}

If an electronic version of a paper is required, this is normally supplied
to the customer as a PostScript file. As we are not allowed to re-distribute
PostScript Type~1 font data to other people (for licensing reasons), we must
be very careful what we supply.

The source files for electronic articles should be stored away from the normal
printed articles in the \verb"ELECTRON" directory in the FAC work area.

An electronic article should be printable using the old (TR)DVIPS PostScript driver
-- if it isn't please seek help.
The electronic article should only use Computer Modern fonts and/or AMS v2.0 symbol
fonts (any other bitmap fonts generated with {\sf MetaFont} are also allowed).
You can use the DVIWindo `Fonts/DVI File Fonts' (or CTRL-K) function to check this.
If your are in any doubt about the fonts used -- again seek advice.

Before proceeding ensure that the article has been \TeX'ed three times, and there
are no reference problems. Then use TRDVIPS to generate the PostScript file:
\begin{verbatim}
  trdvips -V <filename>
\end{verbatim}
During the generation of the PostScript, TRDVIPS may automatically call
MetaFont to produce the required bitmap fonts. When the process has finished,
if there are still error messages -- seek help. The \verb"-V" option tells
TRDVIPS to generate a PostScript file containing only bitmap fonts (at the
300dpi default resolution).

If no further error messages are given, you can run TRDVIPS once again (as above)
to ensure that the generated PostScript is complete.

Finally, place the final \verb".ps" file on to a PC 3$\frac{1}{2}$
floppy disk. You may need to use the ZIP program to compress the file,
if it is too large. e.g.
\begin{verbatim}
  zip -9 <zipfile> <PostScript file>
\end{verbatim}
e.g.
\begin{verbatim}
  zip -9 fac264 fac264.ps
\end{verbatim}
Will produce \verb"fac264.zip", which should then be copied to the floppy disk.

Remember to remove any \verb".zip" and \verb".ps" file(s) you have generated
from the job directory when you have finished.
\fi

\label{lastpage}

\end{document}