%%!! Last update 96-08-13 14:35:59 % %\documentclass{baltzer} \documentclass[seceqn,secthm]{baltzer} %For two column layout you can try for instance: %\documentclass[WN,twocolumn,10pt]{baltzer} \renewcommand{\baselinestretch}{1} \newtheorem{west}{Test the West} %% :-)) % %\volume{7} \pubyear{1997} \firstpage{1} \lastpage{12} % \begin{document} \begin{frontmatter} % %\pretitle{Invited paper} %Letter to the Editor, Short Communication etc. \title{Using the Baltzer \LaTeXe{} class file% \thanks{This guide is not an original one. It is based on similar guides provided by other publishers.}} %%%\subtitle{Dedicated ...} \author{VTEX typesetting services\thanks{The author wants to remain anonymous because anyone could hardly be original in this field.}} \address{VTEX Ltd, Vilnius, Lithuania} \author{Baltzer Science Publishers\thanks{The corresponding author did not write this guide}} \address{ P.O. Box 221, 1400 AE Bussum, The Netherlands \email{tex@baltzer.nl}} \runningauthor{VTEX et al.} \runningtitle{Baltzer \LaTeXe style} % HISTORY: %\received{19 February 1997} %\revised{} %\accepted{} %\dedicated{} %\presented{} % \begin{abstract} This short document explains how to use the \LaTeXe\ class file for Baltzer Science Publishers' journals. It is also a simple example document for this style. \end{abstract} % \begin{keywords} Euler--Maclaurin formula, Monte Carlo methods \end{keywords} \classification{Primary 65B15, 65B99; Secondary 65C05} \end{frontmatter} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \def\calA{$\mathcal{A}$} \def\calM{$\mathcal{M}$} \def\calS{$\mathcal{S}$} \def\AmSTeX{{\calA\kern-.1667em% \lower.5ex\hbox{\calM}\kern-.125em\calS}-\TeX} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %*************** Text entry area ******************% \section{Introduction} This document describes the use of the \LaTeXe{} class file for journals published by Baltzer Science Publishers. %If you use the old \LaTeX2.09, you can use the \LaTeX{} %package file {\tt bal.bun}, available (like this package) from %{\tt http://www.baltzer.nl/auth.inst.html}, %which contains a style file and a guide. It is {\em not} a tutorial on using \LaTeXe. Please refer to \cite{Lamport} for a simple and concise introduction, or to \cite{Goossens} for a more detailed treatment. Knuth's book~\cite{Knuth}, which covers plain \TeX{}, is also useful for demanding \LaTeX{} users. The package consists of three main files: \begin{enumerate}[(iii)] \item[(i)] {\tt baltzer.cls} (the class file), \item[(ii)] {\tt guide.tex} (this file), and \item[(iii)] {\tt template.tex} (a simple template to help authors prepare their papers using our class file). \end{enumerate} To install, place the file {\tt baltzer.cls} in a directory that is searched by \LaTeX{} for inputs. In the following sections we describe how to use the macros defined in the class file. \section{General remarks} \subsection{Logical markup} We strongly encourage you to use so-called {\em Logical Markup} as opposed to {\em Visual Markup}. Logical markup means that you mark the structure of your document as much as possible with standard \LaTeX{} environments and sectioning commands, instead of speciplacefying detailed layout information explicitly. For instance, always use \begin{verbatim} \begin{thm} All odd numbers are prime. \end{thm} \end{verbatim} and not \begin{verbatim} \noindent{\bf Theorem 1.} All .... \bigskip \end{verbatim} Please do not specify pagebreaks, and do not use {\tt skip} commands to mark the structure of your document. Logical Markup has the advantage of enforcing a uniform layout and enabling the publisher to change the style of the document without editing all of your commands. \subsection{Appearance} The class file issues a \verb!\baselinestretch! command that increases the spacing between lines. This gives room for referees and technical editors to make annotations on the manuscript. If you want to print a single-space version of your manuscript, issue the command \begin{verbatim} \renewcommand{\baselinestretch}{1} \end{verbatim} in the preamble. To approximate actual journal layout of journals typeset in two-column layout (Wireless Networks, Mobile Networks and Applications, Environmental Modeling and Assessment, Catalysis Letters, Topics in Catalysis), you can specify the {\tt twocolumn} and {\tt 10pt} options. In this way you can control the splitting of long equations. \section{The document preamble} The preamble is the part of the \LaTeX\ input file preceding the \verb!\begin{document}! command. The first lines in the preamble to your document (in fact, the first uncommented lines in your source code) must be like this: \begin{verbatim} \documentclass[ACO]{baltzer} \usepackage{...} %Input any standard LaTeX package \end{verbatim} The command \verb|\documentclass{baltzer}| invokes the Baltzer (Author) class file, which is based upon the standard \LaTeXe\ \verb!article! class. Other options that can be specified with the \verb"\documentclass" command are as follows: \begin{description} \item[{\tt twocolumn}] will set double-column layout. \item[{\tt 10pt}] will set font size to 10 points. (default is 11). \item[{\tt seceqn}] will number equations within each section. \item[{\tt secthm}, {\tt secfloat}] will number theorem environments, resp. floats (floating figures and tables) within the sections. \end{description} If you have defined any commands or environments in your paper, please put the relevant code in the preamble (\verb|\def|'s can be placed {\em after} \verb|\end{frontmatter}|). \subsection{Journal options} The \verb|\documentclass| command has options that are abbreviations for Baltzer journal names. The options are listed in table \ref{options}; Please do specify the journal you are submitting to in this way. \begin{table} \caption{Journal options} \label{options} \begin{center} \begin{tabular*}{25pc}{l@{\extracolsep{\fill}}l} \hline Option&The journal name\\ \hline \verb|ACO|&Advances in Computational Mathematics\\ \verb|ASE|&Annals of Software Engineering\\ \verb|ANU|&Annals of Numerical Mathematics\\ \verb|AMAI|&Annals of Mathematics and Artificial Intelligence\\ \verb|AOR|&Annals of Operations Research\\ \verb|CGS|&Computational Geosciences\\ \verb|CLU|&Cluster Computing\\ \verb|CTL|&Catalysis Letters\\ \verb|CTS|&Catalysis Surveys from Japan\\ \verb|EMA|&Environmental Modeling and Assessment\\ \verb|HFI|&Hyperfine Interactions\\ \verb|ICN|&Interoperable Communication Networks\\ \verb|ITM|&Information Technology and Management\\ \verb|JMC|&Journal of Mathematical Chemistry\\ \verb|MNT|&Mobile Networks and Applications\\ \verb|NMA|&Numerical Algorithmns\\ \verb|QSS|&Queueing Systems\\ \verb|TOC|&Topics in Catalysis\\ \verb|TRL|&Tribology Letters\\ \verb|TS|&Telecommunication Systems\\ \verb|WN|&Wireless Networks\\ \verb|WWW|&World Wide Web\\ \hline \end{tabular*} \end{center} \end{table} % \subsection{Other preamble commands} The following preamble commands are possible. They affect the headline of the title page. \begin{center} \begin{tabular}{rl} \verb"\volume{..}" & sets the volume number \\ \verb"\firstpage{..}" & sets the number of the first page \\ \verb"\lastpage{..}" & sets the number of the last page \end{tabular} \end{center} \section{Frontmatter} The frontmatter is the part of the document where the title, the author(s), the address(es) abstract, keywords, etc. are described: \begin{verbatim} \begin{document} \begin{frontmatter} \pretitle{Guide} %Letter to the Editor, etc. \title{Author's guide ...\thanks{...}} %%%\subtitle{Dedicated ...} \author{VTEX\thanks{...}} \address{VTEX Ltd ....} \runningauthor{VTEX} \runningtitle{Baltzer \LaTeXe\ style guide} \begin{abstract} This short ... \end{abstract} \keywords{Euler--Maclaurin formula, ...} \classification{Primary 65B15, ...} \end{frontmatter} \end{verbatim} If there is more than one author, author names and their addresses can be linked by specifying optional arguments to the {\tt author} and {\tt address} commands, as in the following example. \begin{verbatim} \author[A]{S. Takagi\thanks{Corresponding author.}}, \author[A]{T. Suzuki}, \author[B]{A. Amato}, \author[B]{F.N. Gygax}, \author[B]{A. Schenck} and \author[C]{A. Ochiai} \address[A]{Department of Physics, ...} \address[B]{Institute for Particle Physics, ...} \address[C]{Department of Material Science ...} \end{verbatim} The footnote command \verb|\thanks{Corresp...}| should be attached to the corresponding author's name, as a part of the argument of \verb|\author|. The E-mail address is to be included into the \verb|\address| field, e.g.: \begin{verbatim} \address[A]{Department of Physics, ... \email{aaa@dptphys.uuu.jp}} \end{verbatim} The command \verb|\runningauthor| defines the shortened version of the author(s) names, which goes to the running head on each page: \medskip \tabcolsep=.5cm \begin{tabular}{ll} Initial(s). Last name&for one author\\ Initial(s). Last name, Initial(s). Last name& for two authors\\ Initial(s). Last name (1st author) et al.& for more authors \end{tabular} \medskip The command \verb!\runningtitle! defines the shortened version of the title that will appear in the running head. You can use \verb"\dedicated" to specify a dedication. \section{Sectioning commands, lists} Please use the standard \LaTeX{} commands \verb!\section!, \verb!\subsection! and \verb!\subsubsection!. Within a section it may be necessary to list various paragraphs or statements in some way, e.g., (a), (b), (c) or (i), (ii), (iii). The usual \LaTeX\ list environments ({\tt enumerate}, {\tt itemize}) should be used in this case. It is good style to be consistent in your usage: do not use letters in one section, roman numerals in another section and bullets in a third section. \section{Math: equations, theorem environments} Please use the standard \LaTeX{} environments {\tt equation}, {\tt eqnarray} for displayed mathematics. \LaTeX\ automatically numbers displayed equations, unless you issue a \verb!\nonumber! command or use one of the starred environments. In Baltzer journals equations are numbered and numbers appear on the right. The class file has been set up with this option as the default. By default, equations are numbered sequentially throughout the document If you want to have equations numbered within sections, i.e., have equation numbers of the form (1.1), (1.2), \dots, (2.1), (2.2), \dots, in Sections~1, 2 and so on, you should include {\tt baltzer} class option {\tt seceqn} in the command \verb|\documentclass|. In general, \LaTeX\ does an excellent job of typesetting mathematics. Unless there is a good reason to do so, please do {\em not} override \LaTeX\ defaults, add extra space around operators, or otherwise complicate the setting of your mathematics. \subsection{Tricks in numbering formulas} You may want to have more control over the equation numbering. The \verb|baltzer| class file contains environments \begin{verbatim} \begin{equation}[...]...\end{equation}[...] \begin{equation*}[...]...\end{equation*}[...] \begin{subequation}...\end{subequation} \begin{subequation}[arabic]...\end{subequation}[arabic] \end{verbatim} which allow to get ``strange'' numbers. For example, the following code: \begin{verbatim} \begin{equation} \sin x= 0\quad\mathrm{if\ }x=0, \end{equation} \begin{equation*}[\textrm{sin}] \sin x= \tfrac{1}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{6}, \end{equation*} \begin{equation} \sin x= \tfrac{\sqrt{2}}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{4}, \end{equation} \begin{subequation} \begin{equation} \sin x= \tfrac{\sqrt{3}}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{3}, \end{equation} \end{subequation} \begin{equation} \sin x= 1\quad\mathrm{if\ }x=\tfrac{\pi}{2}, \end{equation} \begin{subequation} \begin{subequation}[arabic] \begin{eqnarray} \cos x&=& 1\quad\mathrm{if\ }x=0,\\ \cos x&=& \tfrac{\sqrt{3}}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{6},\\ \cos x&=& \tfrac{\sqrt{2}}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{4},\\ \cos x&=& \tfrac{1}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{3},\\ \cos x&=& 0\quad\mathrm{if\ }x=\tfrac{\pi}{2}, \end{eqnarray} \end{subequation} \end{subequation} \end{verbatim} will produce equations numbered like this: \begin{equation} \sin x= 0\quad\mathrm{if\ }x=0, \end{equation} \begin{equation*}[\textrm{sin}] \sin x= \tfrac{1}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{6}, \end{equation*} \begin{equation} \sin x= \tfrac{\sqrt{2}}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{4}, \end{equation} \begin{subequation} \begin{equation} \sin x= \tfrac{\sqrt{3}}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{3}, \end{equation} \end{subequation} \begin{equation} \sin x= 1\quad\mathrm{if\ }x=\tfrac{\pi}{2}, \end{equation} \begin{subequation} \begin{subequation}[arabic] \begin{eqnarray} \cos x&=& 1\quad\mathrm{if\ }x=0,\\ \cos x&=& \tfrac{\sqrt{3}}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{6},\\ \cos x&=& \tfrac{\sqrt{2}}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{4},\\ \cos x&=& \tfrac{1}{2}\quad\mathrm{if\ }x=\tfrac{\pi}{3},\\ \cos x&=& 0\quad\mathrm{if\ }x=\tfrac{\pi}{2}, \end{eqnarray} \end{subequation} \end{subequation} \subsection{Theorems, lemmas, etc.} When writing theorems, lemmas, etc. please use the \LaTeX\ environments. This has the usual advantages of logical markup versus visual markup. The {\tt baltzer} class file defines similar theorem environments for lemmas, definitions, problems, corollaries, examples, remarks and propositions. The full list of environments is as follows: \medskip \tabcolsep=.5cm \begin{tabular}{ll} \verb|\begin{thm} ... \end{thm}|&Theorem\\ \verb|\begin{lem} ... \end{lem}|&Lemma\\ \verb|\begin{defn}... \end{defn}|&Definition\\ \verb|\begin{prob}... \end{prob}|&Problem\\ \verb|\begin{cor} ... \end{cor}|&Corollary\\ \verb|\begin{exmp}... \end{exmp}|&Example\\ \verb|\begin{rem} ... \end{rem}|&Remark\\ \verb|\begin{prop}... \end{prop}|&Proposition\\ \verb|\begin{algorithm}...\end{algorithm}|&Algorithm\\ \verb|\begin{pf} ... \end{pf}|&Proof\\ \verb|\begin{pf*} ... \end{pf*}|&Proof-like \end{tabular} \medskip Note that all these environments (and all \verb|newtheorem|'s) are counted by one counter \verb|thm| throughout the document (for example, the numbering would go Theorem~1, Lemma~2, Theorem~3, Example~4 rather than Theorem~1, Lemma~1, Theorem~2, Example~1). If you prefer to have environments to be numbered by section, you should include {\tt baltzer} class option {\tt secthm} in the command \verb|\documentclass|. These environments set the name, the number and the text of enunciations in fonts and spacing adopted in Baltzer house style. You may want to attach some comments to the name of enunciation, e.g.: \begin{thm}[(B{\"u}chi--McNaughton, see \cite{B1,M1})]\label{thm4} \begin{enumerate} \item[(1)] For any language $L \subseteq \Sigma^{\omega} $ the following two conditions are equivalent: \begin{enumerate}[(1.2)] \item[(1.1)] $ L = B_\mathcal{A}(I,T)$ for a B{\"u}chi automaton $\mathcal{A}$. \item[(1.2)] $ L$ is the finite union of languages $H\cdot K^{\omega}$ where $H$ and $K$ are regular languages in $\Sigma^{*}$. \end{enumerate} \item[(2)] The class of all languages accepted by B{\"u}chi automata is closed under the Boolean operations union, intersection and complement. \end{enumerate} \end{thm} This is done with an optional argument: \begin{verbatim} \begin{thm}[((B{\"u}chi--McNaughton, see \cite{B1,M1})]\label{thm4} \begin{enumerate} \item[(1)] For any language ... \end{thm} \end{verbatim} You may want to have an environment for a non-numbered enunciation, e.g.: \begin{rem*} Some authors like non-numbered remarks, propositions, etc. \end{rem*} \begin{prob*} Is a non-numbered proposition more impressive than a numbered one? \end{prob*} \begin{west*} Go for it! \end{west*} Then you can use the starred environments: \begin{verbatim} \begin{rem*} Some authors ... \end{rem*} \end{verbatim} The {\tt pf} environment sets the word ``Proof''. You may want the proof to start with the words `Proof of Theorem 1'. This is done with an optional argument, as in the following example: \begin{pf*}{Proof of Theorem 1} Text of the proof ... \qed \end{pf*} \begin{verbatim} \begin{pf*}{Proof of Theorem 1} Text of the proof ... \qed \end{pf*} \end{verbatim} Use the \verb"\qed" command to end your proof with the standard End-Of-Proof box. \section{Figures and tables} \subsection{Figures} Use the standard \LaTeX\ \verb!figure! environment to include figures in your document, e.g.: \begin{verbatim} \begin{figure} \fbox{the matter of your figure ...} \caption{The caption of your figure ...}\label{f1} \end{verbatim} \begin{figure} \hfil\fbox{the matter of your figure ...}\hfil \caption{The caption of your figure.}\label{f1} \end{figure} We accept figures drawn with one of the \LaTeX\ drawing packages, or in the encapsulated PostScript form. You can also provide hard copies of your figures on A4 paper. Please ensure good quality in this case: send high quality prints, not photocopies. \subsection{Tables} Use the standard \LaTeX\ \verb!tabular! environment to set tables. Note that you should not insert vertical lines between columns. Table \ref{t1} is an example of how a three-column right-aligned table could be set. (You can change the value of \verb|\tabcolsep| at your taste, but within a reasonable range.) \begin{table} \tablewidth=4.5cm \centering \caption{This is an example of how a simple three-column table could look.}\label{t1} \tabcolsep=.5cm \begin{tabular}{rrr} \hline & $a$ & $b$ \\ \hline $x$ & 1.12 & 0.11\\ $y$ & 10.34 & 0.2\\ \hline \end{tabular} \end{table} \begin{verbatim} \begin{table} \tablewidth=4.5cm \centering \caption{This is an example ...}\label{t1} \tabcolsep=.5cm \begin{tabular}{rrr} \hline & $a$ & $b$ \\ \hline $x$ & 1.12 & 0.11\\ $y$ & 10.34 & 0.2\\ \hline \end{tabular} \end{table} \end{verbatim} Note that the \verb!tabular! environment has been placed inside a \verb!table! environment. This keeps the tabular material together and allows text to flow around that material. (The two environments are distinct. A \verb!tabular! environment allows material to be aligned in columns; a \verb!table! environment is a logical document element that identifies its contents as belonging together and lets the contents float jointly.) A more complicated example is Table \ref{t2}: \begin{table}[t] \centering \caption{An example of a more complicated table.}\label{t2} \tabcolsep=5pt \begin{tabular}{lcccccccccc} \hline %\\[-1pt] & \multicolumn{3}{c}{Depth} && \multicolumn{3}{c}{Depth with Splitting} && \multicolumn{2}{c}{Terminator} \\[2pt] % Tiefe 5 \cline{2-4}\cline{6-8}\cline{10-11} \multicolumn{11}{l}{}\\[-7pt] & $\infty$ & \d{3}2 & \d{1}1 && $\infty$ & \d{1}2 & \d{1}1 && Standard & Splitting \\ Variant 1 & $\infty$ & 2105 & unsolvable && 269 & 65 & 22 && $\infty$ & 10 \\ Variant 2 & 46 & \d{2}46 & 47 && \d{2}5 & \d{1}5 & \d{1}5 && 23 & \d{1}5 \\ \hline \end{tabular} \end{table} \begin{verbatim} \begin{table}[t] \caption{An example ...}\label{t2} \centering \tabcolsep=5pt \begin{tabular}{lcccccccccc} \hline & \multicolumn{3}{c}{Depth} && \multicolumn{3}{c}{Depth with Splitting} && \multicolumn{2}{c}{Terminator} \\[2pt] \cline{2-4}\cline{6-8}\cline{10-11} \multicolumn{11}{l}{}\\[-7pt] & $\infty$ & \d{3}2 & \d{1}1 && $\infty$ & \d{1}2 & \d{1}1 && Standard & Splitting \\ Variant 1 & $\infty$ & 2105 & unsolvable && 269 & 65 & 22 && $\infty$ & 10 \\ Variant 2 & 46 & \d{2}46 & 47 && \d{2}5 & \d{1}5 & \d{1}5 && 23 & \d{1}5 \\ \hline \end{tabular} \end{table} \end{verbatim} \section{The list of references and citation} References will be numbered by default. Use the \LaTeX\ command \verb|\cite| to refer to papers and/or books in the list of references. There are no special formatting commands for items in the list of references in \verb|baltzer| class file. Typical examples of references to book, paper in journal, paper in proceedings/book, dissertation are given in the list of references of this guide. Consult the file {\tt guide.tex}. Models for references might be: (resp.~a journal article, a book, a paper in a book, a preprint): \begin{verbatim} \begin{thebibliography}{99} % the number between brackets should have % as many digits as the total number of references \bibitem{kampen} G.R. Kampen, Orienting planar graphs, Discrete Math. 4 (1976), 134-144. \bibitem{harary} F. Harary, {\em Graph theory}, Addison-Wesley, 1969. \bibitem{bjor} P.E. Bjorstad and O.B. Widlund, Solving ellipic problems on regions partitioned into substructures, in: {\it Elliptic Problem Solvers II}, eds. G. Birkhoff and A. Schoenstadt, Academic Press, 1984, pp. 245-256. \bibitem{vass} P. Vassilevski, Hybrid V-cycle algebraic multilevel preconditioners, Preprint, Bulgarian Academy of Sciences, Bulgaria, 1987. \end{thebibliography} \end{verbatim} Consult the references of this document for sample output. \acknowledgements{} You can use the command \verb"acknowledgements" to create an unnumbered acknowledgements section, at the end of your text. The Baltzer class file was developed by VTEX typesetting services. %spell_to ********** End of text entry ***************** \begin{thebibliography}{00} %{00} for numbered bibliography \bibitem{A1} A. Bellen and F. Tagliaferro, {A combined WR-parallel steps method for ordinary differential equations}, in: {\em Proc. Conf. Parallel Computing: Achievements, Problems and Prospects}, Capri, Italy, 1990. \bibitem{R5} E. Berruto, C. Eynard, E. Fiorina and A. Napolitano, Issues in protocol evolution for personal telecommunications, in: {\it Proc. IEEE GLOBECOM~'93}, 1993, pp. 555--559. \bibitem{B1} J. R. B{\"u}chi, On a decision method in restricted second order arithmetic, in: {\it Proceedings of the 1960 Congress on Logic, Methodology and Philosophy of Science}, Stanford, 1960. \bibitem{C1} G. Cornuejols, G. L. Nemhauser and L. A. Wolsey, The uncapacitated facility location problem, in: \textit{Discrete Location Theory}, eds.\ P.~B.~Mirchandani and R.~L.~Francis, Wiley, 1990. \bibitem{hair:wann:91} E.~Hairer and G.~Wanner, {\em Solving Ordinary Differential Equations {II}}, Springer Series in Computational Mathematics 14, Springer, 1991. \bibitem{Goossens} {M. Goossens, F. Mittelbach and A. Samarin}, {\em The \LaTeX\ Companion}, Addison-Wesley, Reading, MA, 1994. \bibitem{G2} B. A. Gottwald, {MISS: A simple simulation system for biological and chemical processes}, EDV in Medizin und Biologie 3 (1977) 85--90 (in German). \bibitem{Knuth} {D.~E. Knuth}, {\em The \TeX\ Book}, Addison-Wesley, Reading, MA, 1986. \bibitem{Lamport} {L. Lamport}, {\em \LaTeX{}, a Document Preparation System}, Addison-Wesley, 1994. \bibitem{L6} E. Lelarasmee, {The waveform relaxation method for the time domain analysis of large scale nonlinear dynamical systems}, Ph.D. thesis, University of California, Berkeley (1982). \bibitem{10} W. M. Lioen, J. J. B. de Swart and W. A. van der Veen, {Test set for IVP solvers}, available via WWW at URL: http://www.cwi.nl/cwi/projects/IVPtestset.shtml (1996). \bibitem{M1} R. McNaughton, Testing and generating infinite sequences by a finite automaton, {Information and Control} 9 (1966). \end{thebibliography} \end{document} \newcommand{\BibTeX}{{\rm B\kern-.05em{\sc i\kern-.025em b}\kern-.08em T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}}