%%%%% %%%%% 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-:
- on % the left (verso) page, and % \verb-
.
- % 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 %%%%%%%%%%%%%%%%%%%%%%%%