%%%%%
%%%%% To typeset SOFSEM proceedings instructions
%%%%% run this file -- sofsem.sty -- through latex:
%%%%%
%%%%%   latex sofsem.sty
%%%%%
%%%%% You may grab latest version of this file and
%%%%% Postscript version of these instructions (instructions94.ps)
%%%%% at ftp.muni.cz:pub/tex/styles/packages/sofsem/
%%%%%
%%%%%
%%%%% sofsem.sty ---- cut here and place in your texinput directory %%%%%%
%
% \iffalse meta-comment
%
% Copyright (C) 1993-4 by Petr Sojka.  All rights reserved.
%
% IMPORTANT NOTICE:
%
% You are not allowed to change this file.  You may however copy
% this file to a file with a different name and then change the copy.
%
% You are NOT ALLOWED to take money for the distribution or use
% of this file (or a changed version) except for a nominal charge
% for copying etc.
%
% \fi
\def\fileversion{v94.0}
\def\filedate{94/06/03}
\def\docdate {94/06/03}
\hyphenation{biblio-graphy}

%%%%%%%%%%% \CheckSum{1101}
%% \CharacterTable
%%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
%%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
%%   Digits        \0\1\2\3\4\5\6\7\8\9
%%   Exclamation   \!     Double quote  \"     Hash (number) \#
%%   Dollar        \$     Percent       \%     Ampersand     \&
%%   Acute accent  \'     Left paren    \(     Right paren   \)
%%   Asterisk      \*     Plus          \+     Comma         \,
%%   Minus         \-     Point         \.     Solidus       \/
%%   Colon         \:     Semicolon     \;     Less than     \<
%%   Equals        \=     Greater than  \>     Question mark \?
%%   Commercial at \@     Left bracket  \[     Backslash     \\
%%   Right bracket \]     Circumflex    \^     Underscore    \_
%%   Grave accent  \`     Left brace    \{     Vertical bar  \|
%%   Right brace   \}     Tilde         \~}
%%
%
% \iffalse    This is a METACOMMENT
%
%% Style-option `sofsem' to use with LaTeX v2.09 (March 1992 release)
%% No special features of LaTeX 2e version are needed
%% Copyright (C) 1993-4 Petr Sojka, all rights reserved.
%
% \fi
%
%^^A    \changes{v93.0}{93/06/30}{First release.}
%^^A    \changes{v93.1}{93/08/20}{Allowed compatibily with old doc.sty}
%^^A    \changes{v93.2}{93/08/25}{Allowed multiparagraph abstracts}
%^^A    \changes{v93.3}{93/09/22}{Bibtex users support added}
%^^A    \changes{v94.0}{94/06/01}{Upgrade for '94 proceedings}
%
\ifcat a\noexpand @\let\next\relax  % Using this file as style file
\else%                              % Using this file as documentation
    \def\next{%
      \documentstyle[11pt,doc,sofsem]{article}\MakePercentIgnore}\fi\next
%
\newif\ifshortcontrib \shortcontribfalse
%^^A Delete `control-A' on hte next line if you want version for short papers
%^^A                    \shortcontribtrue
% \newcommand{\sofsem}{SOFSEM}
% \newcommand{\AMS}{American Mathematical Society}
% \newcommand{\Proc}{Proceedings}
% \newcommand{\SProc}{\sofsem\ \Proc}
%
% \title{Typesetting Articles for the \SProc\thanks{%
%        Instructions for authors of
%        \SProc\ contributions}}
%
% \authors{Petr Sojka}
%
% \markboth{P.\ Sojka: Typesetting Articles for the \SProc}
%          {P.\ Sojka: Typesetting Articles for the \SProc}
%
% \addresses{^^A
%       Institute of Computer Science, Masaryk University Brno\\
%       Bure\v{s}ova 20, CZ--602\,00 Brno, The Czech Republic
%^^A \and  other authors' full\\
%^^A       snail address
% }
%
% \emails{sojka@muni.cz.
%^^A \and other email addresses
% }
%
% \abstracttext{^^A
%   This article gives advice to the preparation of
%   camera-ready contributions
%   for the \SProc.
%
%   It describes the recommended instructions, usage
%   and, if needed, the implementation of the {\tt sofsem}
%   \LaTeX\ style option for \LaTeX\ users.}
%
% \keywords{^^A
%   \sofsem, \TeX%\footnote{\TeX\ is a trademark of the~\AMS.}
%   , \LaTeX, typesetting, camera ready, instructions for authors}
%
% \motto{^^A
%    \llap{``}How do we persuade authors\\
%      that spreading fonts accross the page\\
%      like peanut butter across a hot toast is not necessarily\\
%      the route to typographic excellence?\rlap{''}\\
%      Peter Flynn}
%
%^^A \date{Printed \today}
%
% \begin{document}
% \maketitle
%
% \begin{multicols}{2}
%
%   \section{Preface}
%   The \SProc, like the other conference proceedings,
%   is rushed to publication as quickly as possible so that the material
%   will reach the \sofsem\ participants
%   (and other interested readers) just in conference time.
%   Reproducing author-prepared
%   copy eliminates the considerable bother and expense of typesetting,
%   proofreading and corrections.  The published document should be
%   compact, uniform in appearance, and readable.
%
%   The authors are adviced to send camera ready copy of their
%   articles according to these instructions (style file). To
%   achieve uniformity, the author is provided with this ``model
%   paper''. This article (which has itself been produced by the
%   technique it describes) introduces the {\tt sofsem.sty}
%   \LaTeX\ style option, designed to prepare {\em\Proc} articles
%   using \LaTeX~\cite{latex-book}, well-known macro package
%   for \TeX\ typesetting system~\cite{tex-book}.
%
%  \section{Instructions for authors}
%  The submitted text should be prepared in the {\em camera-ready\/}
%  format required for publication (printed on a laser-printer).
%  Authors are suggested to use a word processing equipment (\LaTeX)
%  and they should observe the following instructions at the
%  preparation of their text:
%  \medskip
%  \begin{description}
%     \item[Language:] The text should be in English.
%     \item[Sheet size:] Produce your text on plain white DIN-A4 paper.
%           The printout must be sharp, black and even (not grey).
%     \item[Fonts and format:] The text should be printed
%           using 11-point proportional
%           fonts (Adobe Times-Roman preferred)
%           in the frame 160\,mm wide and 240\,mm long
%           (no footers), preferably in two columns format.
%     \item[Heading:] The heading of the contribution should follow
%           appearence of this article. The text follows
%           immediately the heading on the first page.
%     \item[Running heads:] Running heads should follow appearance of this
%           article in the form \verb-<author>:<article title>- on
%           the left (verso) page, and
%           \verb-<section number>.<section title>-
%           on the right (recto) page.
%     \item[Titles \& emphasizing:] Titles of the lecture,
%           sections and subsections,
%           should {\em not\/} be underlined. {\em Follow
%           emphasizing principles used in this article.}
%     \item[Page numbering:] A {\em pencil} should
%           be used for numbering the pages, on back sides.
%           Do not number pages on front side!
%           Leave enough space for page numbers at the page bottom.
%^^A     \item Main section headings (1., 2., and so on) should be in
%^^A           boldface capitals and printed from the left margin.
%^^A           A triple line space should precede
%^^A           and a double line space should follow
%^^A           each section heading.
%^^A     \item Graphical parts should be drawn in black
%^^A           (black ink and tracing paper can be used as well).
%^^A           Lettering should not be smaller then a typed
%^^A           letter.
%     \item[Citations:] Citations should be in the form [1], [2].
%           References should be written according to bibliography
%           of this article~\cite{example1,example2,example3}.
%           For {\sc Bib}\TeX\ users bibliography style
%           {\tt sofsem.bst} is provided.
%     \item[Page limit:] The text of your contribution should not exceed
%           specified number of pages. Page limit is
%       \ifshortcontrib
%                     {\em 4~pages} for short (30 min) contributions
%                     and posters..
%       \else
%           {\em 10~pages} for one 75~minute lecture (e.\,g.\
%           20 pages for 2-lecture talk, 30 pages for 3-lecture talk)
%       \fi
%^^A           When in the trouble with these limits, switch to
%^^A           10-point fonts. (No further reduction is taking place.)
%  \end{description}
%
%  \section{Deadline and Address}
%
%  One camera-ready copy of
%  \ifshortcontrib short contributions
%  \else invited papers
%  \fi should reach the \sofsem\ secretary
%  {\em not later then by
%  \ifshortcontrib 30\else 20\fi$^{\mbox{\scriptsize th}}$
%  September.}\,\footnote{The sooner you send your
%  contribution the better!}
%  We prefer to receive {\em both}
%  the camera-ready paper and (if possible)
%  the postscript file at the address:
%  \medskip
%  \begin{center}
%  \begin{tabular}{l}
%  \sofsem\ '94\\
%  Institute of Computer Science MU\\
%  Bure\v{s}ova 20\\
%  CZ--602\,00 Brno\\
%  Czech Republic\\[2mm]
%  Email: {\tt sofsem@muni.cz}
%  \end{tabular}
%  \end{center}
%
%   \section{Support for \TeX\ users}
%   Typesetting using this style file\footnote{This
%   file is both \LaTeX\ style file
%   and instructions for authors. File has
%   version number \fileversion, was last
%        revised \filedate, documentation is dated \docdate.}
%   is actively supported by
%   organizers of the \sofsem\ to achieve uniformity of the
%   \SProc. Latest version of the
%   macros is available by ftp from
%   {\tt ftp.muni.cz} (login {\tt anonymous},
%   password {\em your\_email\_address\/}), in the directory
%   {\tt pub/tex/styles/packages/sofsem}.
%
%   Any questions regarding submissions or about \sofsem\
%   in general should be sent to {\tt sofsem@muni.cz}.
%   Any questions, suggestions, complaints, bugs regarding this style
%   should be sent to author or to the address {\tt TeX-support@muni.cz}.
%
%   \typein[\answer]%
%   {Do you want an annotated listing of the macro definitions (y/n) ?}
%   \def\next{y}\ifx\answer\next
%
%   \end{multicols}
%   \section{The Macros}
%   \subsection{Prolog}
%   Have we already loaded {\tt sofsem.sty}?
%    \begin{macrocode}
\@ifundefined{s@fsem}
    {\gdef\s@fsem{}}
    {\endinput}
%    \end{macrocode}
%   Print style version and date.
%    \begin{macrocode}
\typeout{Style option: `sofsem'
\fileversion\space <\filedate> (PS)}
\typeout{English documentation
\@spaces\@spaces\space<\docdate> (PS)}
%    \end{macrocode}
%
%   \subsection{Multicolumn switching}
%   Paper should be typeset in two columns (in one column
%   there are about 90 characters at one line, which makes
%   the text worse readable (max. 60--70 is suggested by typographers).
%   By default, Frank Mittelbach's
%   {\tt multicol} package\footnote{Available at CTAN archives
%   (e.\,g. {\tt pip.shsu.edu}, {\tt ftp.uni-stuttgart.de},
%   {\tt ftp.tex.ac.uk}) or it's mirrors (for a list
%   of them use {\tt finger ctan_us@ftp.SHSU.edu}).}
%   is loaded.
%   This style environment allows switching between
%   one and multicolumn formats on the same page. Footnotes are handled
%   correctly (for the most part), but will be placed at the bottom of
%   the page and not under each column.  \LaTeX{}'s float mechanism,
%   however, is partly disabled in the current implementation.  At the
%   moment only page-wide floats (i.\,e., star-forms) can be used within
%   the scope of the environment, sorry.
%
%   Check whether we have already loaded {\tt multicol.sty}.
%    \begin{macrocode}
\@ifundefined{mult@cols}
     {\input multicol.sty}
     {}
%    \end{macrocode}
%
%   \subsection{Page layout}
%   Page numbering will be added during final composition, thus
%   we set page style empty. We set various page layout parameters
%   as margins, page frame, \ldots.
%    \begin{macrocode}
\oddsidemargin 4mm
\evensidemargin -4mm
\topmargin -12mm
\headheight 11pt
\headsep 20pt
\textwidth 160mm
\textheight 240mm
\leftmargin 0mm
\rightmargin 0mm
\columnsep 4.5mm
\skip\footins=16pt plus 5pt minus 5pt
%    \end{macrocode}
%   Actual offset on page depends on output driver's default
%   upper left corner offset, so print the article in such a way,
%   that with {\tt oddsidemargin} at 0pt it is centered on the page.
%
%   \subsection{Page style}
%   Page style is specifically designed for \SProc.
%   We will distinguish verso and recto page, thus set
%   twoside option.
%    \begin{macrocode}
\def\ps@sofsem{\let\@mkboth\@gobbletwo
\def\@oddhead{\underline{\makebox[\textwidth]
  {\hbox{}\hfill\rightmark\strut}}}
\def\@oddfoot{}
\def\@evenhead{\underline{\makebox[\textwidth]{%
 \leftmark\hfill\strut}}}
\def\@evenfoot{}
\def\sectionmark##1{\markright {\thesection. \ ##1}}
\def\subsectionmark##1{}
}
\pagestyle{sofsem}
\ds@twoside
%    \end{macrocode}
%
%   \subsection{Miscelaneous}
%    Macro for warning messages used in this style file.
%    \begin{macrocode}
\def\@swarning#1{\typeout{SOFSEM Warning: #1}}
%    \end{macrocode}
%
% \subsection{Title page macros}
%
% We will allow multiparagraph abstracts.
%
%    \begin{macrocode}
\def\authors#1{\gdef\@authors{#1}}
\def\emails#1{\gdef\@emails{#1}}
\def\addresses#1{\gdef\@addresses{#1}}
\long\def\abstracttext#1{\long\gdef\@abstracttext{#1}}
\def\keywords#1{\gdef\@keywords{#1}}
\def\motto#1{\gdef\@motto{#1}}
\def\header#1{\gdef\@header{#1}}

\def\maketitle{\par
 \begingroup
  \def\thefootnote{\fnsymbol{footnote}}
  \def\@makefnmark{\hbox
          to 0pt{$^{\@thefnmark}$\hss}}
  \if@twocolumn
   \@swarning{Just for sure--will you have columns
        balanced at the end of your article with your twocolumn
        style option? If not, you can use multicol instead.}
    \twocolumn[\@maketitle]
  \else
   \newpage
   \global\@topnum\z@ \@maketitle
  \fi%
  \thispagestyle{empty}\@thanks
 \endgroup
 \setcounter{footnote}{0}
 \let\maketitle\relax
 \let\@maketitle\relax
 \gdef\@thanks{}\gdef\@authors{}
 \gdef\@title{}\let\thanks\relax%
}

\def\@maketitle{\newpage
 \null
 \ifshortcontrib \vskip 18mm \else \vskip 35mm\fi
 \begin{center}
  \@ifundefined{@header}
   {\@swarning{No titlepage proceedings
               header specified! Use \string\header
               to define text to be in the header.}}
   {\@header}
  \par \vskip 1.8em
  {\LARGE\bf \@title \par} \vskip 1.5em
  {\normalsize \lineskip .5em
  \@ifundefined{@authors}
   {\@swarning{No author names specified! You really want to be anonymous?}}
   {\begin{tabular}[t]{c}\@authors
    \end{tabular}
   }
  \par \vskip 1.2em
  \@ifundefined{@addresses}
   {\@swarning{No addresses specified! You really want to remain incognito?}}
   {\begin{tabular}[t]{c}\@addresses
    \end{tabular}
   }
  \@ifundefined{@emails}
   {@swarning{No emails specified!}}
   {\par \vskip 0.5em
    Email: \tt\begin{tabular}[t]{c}\@emails
    \end{tabular}
   }
  }
 \end{center}
 \par \vskip 1.2em \small
 \begingroup
 \list{}
  {\labelwidth\z@
   \settowidth{\leftmargin}{{\bf\keywordsheader\ }}% 5.3em
   \itemindent-\leftmargin
   \labelsep\z@ \itemsep 1em
   \parsep .7\parskip
   \listparindent .7\parindent
  }
  \@ifundefined{@abstracttext}
   {\@swarning{No abstract specified
               in your article!}}
   {\item[\hbox to\leftmargin{\bf\abstractheader\hss}]
    \@abstracttext}
   \@ifundefined{@keywords}
   {\@swarning{No keywords specified
               in your article!}}
   {\item[\hbox to \leftmargin{\bf\keywordsheader\hss}]
    \@keywords}
  \endlist
  \endgroup
  \leftmargin 0pt
  \par \vskip 0.5em
  \@ifundefined{@motto}
   {\@swarning{No motto specified.^^J
               Never mind. :-)}}
   {\strut\hspace*{0.5\textwidth}^^A
    \hspace*{-0.88\columnsep}^^A
    \hspace*{-\leftmargin}^^A
    \begin{tabular}{@{}l@{}}\hbox to 0pt{\hss Motto: \ }\@motto
    \end{tabular}
    \par\vskip 0.5em^^A
   }
}
%    \end{macrocode}
%
%    \subsection{Sectioning commands and indentation}
%
%    To achive decent output, we change some default (American)
%    settings to better ones inspired by {\tt sober.sty}
%    by van Nico Poppelier:
%
%^^A                10pt     11pt     12pt
%^^A  \scriptsize    7/ 8     8/ 9.5   8/ 9.5
%^^A  \tiny          5/ 6     6/ 7     6/ 7
%^^A  \small         9/11    10/12    11/13.6
%^^A  \footnotesize  8/ 9.5   9/11    10/12
%^^A  \@normalsize  10/12    11/13.6  12/15
%^^A  \large        12/14    12/14    14/18
%^^A  \Large        14/18    14/18    17/22
%^^A  \LARGE        17/22    17/22    20/25
%^^A  \huge         20/25    20/25    25/30
%^^A  \Huge         25/30    25/30    25/30
%^^A
%^^A  \@startsection
%^^A     {Name}{Level}{Indent}{Before_skip}{After_Skip}{Type_face}
%^^A
%^^A  in LaTeX's standard-styles
%^^A
%^^A               Indent     Before_skip           After_skip     Type_face
%^^A  section       0          -3.5ex (-1ex)(-0.2ex)  2.3ex(0.2ex) \Large\bf
%^^A  subsection    0          -3.25ex(-1ex)(-0.2ex)  1.5ex(0.2ex) \large\bf
%^^A  subsubsection 0          -3.25ex(-1ex)(-0.2ex)  1.5ex(0.2ex) \normalsize\bf
%^^A  paragraph     0           3.25ex( 1ex)( 0.2ex) -1em()()      \normalsize\bf
%^^A  subparagraph  \parindent  3.25ex( 1ex)( 0.2ex) -1em()()      \normalsize\bf
%^^A
%    \begin{macrocode}
\def\section{\@startsection{section}{1}
{\z@}{-2.5ex plus -0.5ex minus -0.1ex}{0.5ex plus 0.1ex}{\large\bf}}
\def\subsection{\@startsection{subsection}{2}
{\z@}{-2.25ex plus -0.3ex minus -0.2ex}{0.05ex plus 0.05ex}{\normalsize\bf}}
\def\subsubsection{\@startsection{subsubsection}{3}
{\z@}{-2.25ex plus -0.3ex minus -0.2ex}{0.05ex plus 0.05ex}{\normalsize\sc}}
\def\paragraph{\@startsection{paragraph}{4}
{\z@}{2ex plus 0.5ex minus 0.1ex}{-0.7em}{\normalsize\it}}
\def\subparagraph{\@startsection{subparagraph}{4}
{\parindent}{2ex plus 0.5ex minus 0.1ex}{-0.7em}{\normalsize\it}}
%    \end{macrocode}
%^^A
%^^A   \labelsep     : afstand tussen label en item
%^^A   \labelwidth   : breedte van label
%^^A   \leftmargin   : afstand tussen linkermarge en item
%^^A   \rightmargin  : afstand tussen item en rechtermarge
%^^A   \listparindent: indentatie voor vervolg-alinea's in item
%^^A   \parsep       : verticaal wit tussen vervolg-alinea's in item
%^^A   \itemsep      : verticaal wit tussen opeenvolgende item's
%^^A   \topsep,
%^^A   \partopsep    : wit boven item 1 = \topsep + \parskip
%^^A                    (geen alinea-overgang boven lijst)
%^^A                   wit boven item 1 = \topsep + \parskip + \partopsep
%^^A                    (alinea-overgang boven lijst)
%^^A
%^^A size = small (9pt, 10pt, 11pt)
%    \begin{macrocode}
\def\@listi{\topsep 0.4ex \parsep 0pt \itemsep \parsep}
%^^A \topsep 4pt(2pt)(2pt)  6pt(2pt)(2pt)  9pt(3pt)(5pt)
%^^A \parsep 2pt(1pt)(1pt)  3pt(2pt)(1pt) 4.5pt(2pt)(1pt)
%^^A
%^^A size = footnotesize (8pt, 9pt, 10pt)
\def\@listi{\topsep 0.4ex \parsep 0pt \itemsep \parsep}
%^^A \topsep 3pt(1pt)(1pt) 4pt(2pt)(2pt) 6pt(2pt)(2pt)
%^^A \parsep 2pt(1pt)(1pt) 2pt(1pt)(1pt) 3pt(2pt)(1pt)
%^^A
%^^A size = normalsize (and bigger)
%^^A \parskip    0pt(1pt) 0pt(1pt) 0pt(1pt)
%^^A \parindent  15pt 17pt 1.5em
%^^A \topsep      8pt(2pt)(4pt) 9pt(3pt)(5pt) 10pt(4pt)(6pt)
%^^A \partopsep   2pt(1pt)(1pt) 3pt(1pt)(2pt) 3pt(2pt)(2pt)
%^^A \itemsep     4pt(2pt)(1pt) 4.5pt(2pt)(1pt)  5pt(2.5pt)(1pt
%^^A \parsep  4pt(2pt)(1pt) 4.5pt(2pt)(1pt) 5pt(2.5pt)(1pt)
\topsep 0.4ex \partopsep 0pt \itemsep 0pt \parsep 0pt
%^^A
%^^A \leftmargini  2.5em \leftmarginii 2.2em \leftmarginiii 1.87em
%^^A \leftmarginiv 1.7em \leftmarginv  1.0em \leftmarginvi  1.0em
%^^A
%^^A \leftmargin\leftmargini
%^^A \labelwidth\leftmargini\advance\labelwidth-\labelsep
%^^A \labelsep 0.5em
%^^A
%^^A \def\@listi{\leftmargin\leftmargini}
%^^A
\def\@listii{\leftmargin\leftmarginii
 \labelwidth\leftmarginii\advance\labelwidth-\labelsep
%^^A \topsep 4pt(2pt)(1pt) 4.5pt(2pt)(1pt) 5pt(2.5pt)(1pt)
%^^A \parsep 2pt(1pt)(1pt) 2pt(1pt)(1pt)   2.5pt(1pt)(1pt)
 \topsep 0pt \parsep 0pt \itemsep \parsep}
%^^A
\def\@listiii{\leftmargin\leftmarginiii
 \labelwidth\leftmarginiii\advance\labelwidth-\labelsep
%^^A \topsep    2pt(1pt)(1pt) 2pt(1pt)(1pt) 2.5pt(1pt)(1pt)
%^^A \partopsep 1pt(0pt)(1pt) 1pt(0pt)(1pt) 1pt(0pt)(1pt)
 \parsep \z@ \topsep 0pt \partopsep 0pt \itemsep \topsep}
%^^A
%^^A \def\@listiv{\leftmargin\leftmarginiv
%^^A  \labelwidth\leftmarginiv\advance\labelwidth-\labelsep}
%^^A
%^^A \def\@listv{ \leftmargin\leftmarginv
%^^A  \labelwidth\leftmarginv\advance\labelwidth-\labelsep}
%^^A
%^^A \def\@listvi{\leftmargin\leftmarginvi
%^^A  \labelwidth\leftmarginvi\advance\labelwidth-\labelsep}
%    \end{macrocode}
%
%  \subsection{Dependent texts}
%    \begin{macrocode}
\header{SOFSEM '94 -- Milovy,
The Czech Republic, 27.\,11.\,--\,9.\,12.\,1994}
\def\keywordsheader{Keywords:}
\def\abstractheader{Abstract:}
%    \end{macrocode}
% \begin{multicols}{2}\fi
%
% \begin{thebibliography}{99}
%
% \bibitem{tex-book} Knuth, D. E.: {\em The \TeX Book}.
% Addison-Wes\-ley, Reading, Massachusets, 1984, 484\,p.
%
% \bibitem{latex-book} Lamport, L.:
% {\em\LaTeX: Document preparation System}.
% Addison-Wes\-ley, 1986, 242\,p.
%
% \bibitem{example1} Rabin,\,M.\/O.\,--\,Scott, D.:
% {\em Finite automata and their
% decision problems}. IBM Journal of Research and Development, 5,
% 1976,  No.\,2, pp\,114--125
%
% \bibitem{example2} Eilenberg,\,S.: {\em Automata, Languages,
% and Machines}. Vol.\,A, Academic Press, New York 1974
%
% \bibitem{example3} Clarke,\,L.: {\em A system to generate
% test data.} Tech.\ Rep.\ University of Colorado, Boulder, Februar 1975
% \end{thebibliography}
% \end{multicols}
% \newpage
% \section{Running head example}
% This page is included just to show  running heads
% on recto (odd-numbered) page.
%
%\end{document}
\endinput
%%%%%%%%%%%%%%%%%% end of sofsem.sty -- cut here %%%%%%%%%%%%%%%%%%%%%%%%