%Dear author,
%you should have received or you should soon receive the referees'
%comments on the paper you submitted to MSCS. If (the final version
%is) accepted,
%your paper should appear in a forthcoming issue of MSCS.
%MSCS accepted papers are LaTeXed unless already so. Email LaTeX
%versions of accepted papers are thus very welcome and speed up the
%printing procedure.
%When ready, please enquire with me in which issue your paper may
%appear.
%LaTeX papers should be directly sent to

 %   RM111@phoenix.cambridge.ac.uk

%plus aknowledgement that this has been done to me. This and the next
%mail contain full TeX information.
%Regards GL (longo@dmi.ens.fr)
%PS Please mention the journal and the issue in your message to
%Cambridge.
%---

\documentstyle{mscs}


\title{\LaTeX\ Style Guide for Authors}
\author{\LaTeX-to-Type Service \\
        Cambridge University Press}
\date{November 1990}


\shortauthor{\LaTeX\ Style Guide for Authors}
\shorttitle{Mathematical Structures in Computer Science}


\def\eg{{\it e.g.\ }}
\def\etc{{\it etc}}
\def\LaTeX{L\kern-.36em\raise.3ex\hbox{a}\kern-.15em
    T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}
\newtheorem{lemma}{Lemma}


\begin{document}


\maketitle


\begin{abstract}
This guide is for authors who are preparating papers for the
Journal of Mathematical Structures in Computer Science using the
\LaTeX\
document preparation system and the CUP MSCS style file.
\end{abstract}


\tableofcontents






%\section{Instructions}
%
\noindent
The layout design for the Journal of Mathematical Structures in
Computer Science
has been implemented as a \LaTeX\ style file.


\section{Introduction to \LaTeX}


The \LaTeX\ document preparation system is a special version of the
\TeX\ typesetting program.
\LaTeX\ adds to \TeX\ a collection of commands which simplify
typesetting for
the author
by allowing him/her to concentrate on the logical structure of the
document
rather than its visual layout.


\LaTeX\ provides a consistent and comprehensive document preparation
interface.
There are simple-to-use for generating a table of
contents, lists of figures and/or tables, and indexes.
\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 quite straightforward.


\section{The MSCS Document Style}


The use of document styles allows a simple change of style (or style
option) to
transform the appearance of your document.
The CUP MSCS 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 MSCS style.
However, the measure (or width of text) is wider than for
\verb"ARTICLE"
therefore line breaks will change and long equations may need
re-setting.


\subsection{Using the MSCS style}


The MSCS document style is implemented as a complete document style
{\em not\/}
a document style option.
In order to use the MSCS style, replace \verb"article" by \verb"mscs"
in the
\verb"\documentstyle" command at the beginning of your document:
\begin{verbatim}
  \documentstyle{article}
\end{verbatim}
is replaced by,
\begin{verbatim}
  \documentstyle{mscs}
\end{verbatim}


\subsection{Document style options}


In general, the standard document style options should {\em not\/} be
used with
the MSCS 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} --
        unavailable.
  \item {\tt proc}, {\tt ifthen}, {\tt bezier} -- can be used if
necessary.
\end{itemize}


\subsection{Additional Facilities}


In addition to all the standard \LaTeX\ design elements, the MSCS
style includes
the following features:
\begin{itemize}
  \item Full width and narrow figures and tables.
  \item A \verb"proof" environment.
\end{itemize}


\subsubsection{Figures and Tables}


The {\tt figure} and {\tt table} environments are implemented as
described in
the \LaTeX\ Manual to
provide consecutively numbered floating inserts for illustrations and
tables
respectively.
The standard inserts and their captions are formatted unjustified on
a
restricted
(30~pica) measure.
Line breaks in captions can be inserted as required using \verb"\\".


Wide figures and tables which require the full measure can
be produced using the {\tt figure*} and {\tt table*} environments
which are
normally used to provide double-column inserts in two-columned
documents.
For example,
\begin{verbatim}
  \begin{figure*}
    \vspace{12cm}
    \caption{Test of the Gibbs adsorption isotherm for
         oxygen on copper (Bauer, Speiser \& Hirth, 1976).}
  \end{figure*}
\end{verbatim}
These wide inserts and their captions are fomatted unjustified over
the full
text width.


\subsubsection{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{lemma}{Lemma}
...
\begin{lemma}
  Most lemmas are dull but some lemmas are duller than others.
  This lemma is particularly dull and may even be the dullest known
lemma.
\end{lemma}
\begin{proof}
  Most proofs are dull but some proofs are duller than others.
  This proof is particularly dull and may even be the dullest known
proof.
\end{proof}
\end{verbatim}
produces the following text:
\begin{lemma}
  Most lemmas are dull but some lemmas are duller than others.
  This lemma is particularly dull and may even be the dullest known
lemma.
\end{lemma}
\begin{proof}
  Most proofs are dull but some proofs are duller than others.
  This proof is particularly dull and may even be the dullest known
proof.
\end{proof}


\end{document}