% Abbreviations for use with bibliography files

@string {lncs		= {Lecture Notes in Computer Science}}
@string {lnm		= {Lecture Notes in Mathematics}}


% Conferences

%TAPSOFT/CAAP
@string {caap81		= {Proceedings CAAP 81}}
@string {caap85		= {Proceedings CAAP 85}}
@string {tapsoft1v1	= {Mathematical Foundations of Software Development, Proceedings $1^{st}$ TAPSOFT, {\rm Berlin}, Vol. 1: CAAP 85}}
@string {tapsoft87v1	= {Proceedings TAPSOFT 87, Vol. I}}
@string {caap88		= {Proceedings CAAP 88, {\rm Nancy, France}}}
@string {tapsoft89v2	= {Proceedings TAPSOFT 89, Vol. 2}}

% Formal description of programming concepts
@string {garmisch 	= {Proceedings IFIP TC2 Working Conference on Formal Description of Programming Concepts -- II, {\rm Garmisch}}}
@string {ebberup	= {Formal Description of Programming Concepts -- III, Proceedings of the $3^{th}$ IFIP WG 2.2 working conference, {\rm Ebberup 1986}}}
@string {gallilea 	= {Proceedings IFIP TC2 Working Conference on Programming Concepts and Methods, {\rm Sea of Gallilea, Israel}}}

%pstv
@string {pstv9		= {Proceedings $9^{th}$ IFIP WG6.1 International Symposium on Protocol Specification, Testing, and Verification, {\rm Enschede, The Netherlands}}}

%icalp 1 = 74
@string {icalp1		= {Proceedings $1^{st}$ ICALP}}
@string {icalp2		= {Proceedings $2^{nd}$ ICALP}}
@string {icalp3		= {Proceedings $3^{th}$ ICALP}}
@string {icalp4		= {Proceedings $4^{th}$ ICALP}}
@string {icalp5		= {Proceedings $5^{th}$ ICALP}}
@string {icalp6		= {Proceedings $6^{th}$ ICALP}}

%fsttcs
@string {fsttcs5	= {Proceedings $5^{th}$ Conference on Foundations of Software Technology and Theoretical Computer Science, {\rm India}}}
@string {fsttcs7	= {Proceedings $7^{th}$ Conference on Foundations of Software Technology and Theoretical Computer Science, {\rm Pune, India}}}

%mfcs
@string {mfcs		= {Symposium on Mathematical Foundations of Computer Science}}
@string {mfcs8		= {$8^{th}$ Symposium on Mathematical Foundations of Computer Science}}
@string {mfcs9		= {$9^{th}$ Symposium on Mathematical Foundations of Computer Science}}

% lics 1 = 86
@string {licspub	= {IEEE Computer Society Press}}
@string {ieeepress	= {IEEE Computer Society Press}}

@string {sigcomm89      = {Proceedings of the ACM Symposium
on Communication Architectures and Protocols}}

% focs 1 = 60
@string {focsorg	= {Comp. Soc. of the IEEE}}
@string {focspub	= {IEEE}}
@string {focs1		= {$1^{st}$ Annual Symposium on Switching and Automatai
Theory}}
@string {focs2		= {$2^{nd}$ Annual Symposium on Switching and Automata
Theory}}
@string {focs3		= {$3^{rd}$ Annual Symposium on Switching and Automata
Theory}}
@string {focs4		= {$4^{th}$ Annual Symposium on Switching and Automata
Theory}}
@string {focs5		= {$5^{th}$ Annual Symposium on Switching and Automata
Theory}}
@string {focs6		= {$6^{th}$ Annual Symposium on Switching and Automata
Theory}}
@string {focs7		= {$7^{th}$ Annual Symposium on Switching and Automata
Theory, Berkeley, California}}
@string {focs8		= {$8^{th}$ Annual Symposium on Switching and Automata
Theory, Schenectady, New York}}
@string {focs9		= {$9^{th}$ Annual Symposium on Switching and Automata
Theory, Austin, Texas}}
@string {focs10		= {$10^{th}$ Annual Symposium on Switching and
Automata Theory, Waterloo, Ontario, Canada}}
@string {focs11		= {$11^{th}$ Annual Symposium on Switching and
Automata Theory, Santa Monica, California}}
@string {focs12		= {$12^{th}$ Annual Symposium on Switching and
Automata Theory, East Lansing, Michigan}}
@string {focs13		= {$13^{th}$ Annual Symposium on Switching and
Automata Theory, Maryland}}
@string {focs14		= {$14^{th}$ Annual Symposium on Switching and
Automata Theory, Iowa}}
@string {focs15		= {$15^{th}$ Annual Symposium on Switching and
Automata Theory, New Orleans, Louisiana}}
@string {focs16		= {$16^{th}$ Annual Symposium on Foundations of
Computer Science, Berkeley, California}}
@string {focs17		= {$17^{th}$ Annual Symposium on Foundations of
Computer Science, Houston, Texas}}
@string {focs18		= {$18^{th}$ Annual Symposium on Foundations of
Computer Science, Providence, Rhode Island}}
@string {focs19		= {$19^{th}$ Annual Symposium on Foundations of
Computer Science, Ann Arbor, Michigan}}
@string {focs20		= {$20^{th}$ Annual Symposium on Foundations of
Computer Science, San Juan, Puerto Rico}}
@string {focs21		= {$21^{th}$ Annual Symposium on Foundations of
Computer Science, Syracuse, New York}}
@string {focs22		= {$22^{th}$ Annual Symposium on Foundations of
Computer Science, {\rm Nashville, Tennessee}}}
@string {focs23		= {$23^{th}$ Annual Symposium on Foundations of
Computer Science}}
@string {focs24		= {$24^{th}$ Annual Symposium on Foundations of
Computer Science, Tucson, Arizona}}
@string {focs25		= {$25^{th}$ Annual Symposium on Foundations of
Computer Science, Singer Island, Florida}}
@string {focs26		= {$26^{th}$ Annual Symposium on Foundations of
Computer Science, Portland, Oregon}}
@string {focs27		= {$27^{th}$ Annual Symposium on Foundations of
Computer Science, Toronto, Ontario, Canada}}
@string {focs28		= {$28^{th}$ Annual Symposium on Foundations of
Computer Science, White Plains, New York}}
@string {focs29		= {$29^{th}$ Annual Symposium on Foundations of
Computer Science}}

% podc 1 = 82
@string {podcorg	= {ACM SIGACT and SIGOPS}}
@string {podcpub	= {ACM}}
@string {podc1		= {Proceedings of the $1^{st}$ Annual ACM Symposium
on Principles of Distributed Computing}}
@string {podc2		= {Proceedings of the $2^{nd}$ Annual ACM Symposium
on Principles of Distributed Computing, {\rm Montreal, Quebec, Canada}}}
@string {podc3		= {Proceedings of the $3^{rd}$ Annual ACM Symposium
on Principles of Distributed Computing}}
@string {podc4		= {Proceedings of the $4^{th}$ Annual ACM Symposium
on Principles of Distributed Computing, {\rm Minaki, Ontario, Canada}}}
@string {podc5		= {Proceedings of the $5^{th}$ Annual ACM Symposium
on Principles of Distributed Computing}}

@string {podc8		= {Proceedings of the $8^{th}$ Annual ACM Symposium
on Principles of Distributed Computing}}
@string {podc9		= {Proceedings of the $9^{th}$ Annual ACM Symposium
on Principles of Distributed Computing, {\rm Quebec, Canada}}}

%pods 1= 1981
@string {podsorg	= {ACM SIGACT-SIGMOD-SIGART}}
@string {podcpub	= {ACM}}
@string {pods1		= {Proceedings of the $1^{st}$
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems}}
@string {pods7		= {Proceedings of the $7^{th}$
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems}}
@string {pods8		= {Proceedings of the $8^{th}$
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems}}
@string {pods9		= {Proceedings of the $9^{th}$
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems}}

% stoc 1 = 69
@string {stocorg	= {ACM SIGACT}}
@string {stocpub	= {ACM}}
@string {stoc1		= {Proceedings of the $1^{st}$ Annual ACM Symposium
on Theory of Computing, {\rm Marina del Rey, California}}}
@string {stoc2		= {Proceedings of the $2^{nd}$ Annual ACM Symposium
on Theory of Computing, {\rm Northampton, Massachusetts}}}
@string {stoc3		= {Proceedings of the $3^{rd}$ Annual ACM Symposium
on Theory of Computing, {\rm Shaker Heights, Ohio}}}
@string {stoc4		= {Proceedings of the $4^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Denver, Colorado}}}
@string {stoc5		= {Proceedings of the $5^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Austin, Texas}}}
@string {stoc6		= {Proceedings of the $6^{th}$ Annual ACM Symposium
on Theory of Computing}}
@string {stoc7		= {Proceedings of the $7^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Albuquerque, New Mexico}}}
@string {stoc8		= {Proceedings of the $8^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Hershey, Pennsylvania}}}
@string {stoc9		= {Proceedings of the $9^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Boulder, Colorado}}}
@string {stoc10		= {Proceedings of the $10^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm San Diego, California}}}
@string {stoc11		= {Proceedings of the $11^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Atlanta, Georgia}}}
@string {stoc12		= {Proceedings of the $12^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Los Angeles, California}}}
@string {stoc13		= {Proceedings of the $13^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Milwaukee, Wisconsin}}}
@string {stoc14		= {Proceedings of the $14^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm San Francisco, California}}}
@string {stoc15		= {Proceedings of the $15^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Boston, Massachusetts}}}
@string {stoc16		= {Proceedings of the $16^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Washington, D. C.}}}	% 1984
@string {stoc17		= {Proceedings of the $17^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Providence, Rhode Island}}}	% 1985
@string {stoc18		= {Proceedings of the $18^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm Berkeley, California}}}		% 1986
@string {stoc19		= {Proceedings of the $19^{th}$ Annual ACM Symposium
on Theory of Computing, {\rm New York City}}}          	% 1987
@string {stoc20		= {Proceedings of the $20^{th}$ Annual ACM Symposium
on Theory of Computing}}				% 1988
@string{stoc21={Proceedings of the $21^{st}$ Annual ACM Symposium
on Theory of Computing, {\rm Seattle, Washington}}}		% 1989
@string {stoc22		= {Proceedings of the $22^{nd}$ Annual ACM Symposium
on Theory of Computing}}				% 1990
@string {stoc23		= {Proceedings of the $23^{rd}$ Annual ACM Symposium
on Theory of Computing}}				% 1991
@string {stoc24 = {Proceedings of the $24^{th}$ Annual ACM Symposium
on Theory of Computing}}                                % 1992
@string {stoc25 = {Proceedings of the $24^{th}$ Annual ACM Symposium
on Theory of Computing}}                                % 1993
@string {stoc26 = {Proceedings of the $26^{th}$ Annual ACM Symposium
on Theory of Computing}}                                % 1994
@string {stoc27 = {Proceedings of the $27^{th}$ Annual ACM Symposium
on Theory of Computing}}                                % 1995


% Places

@string{columbiabus	= {Columbia Grad. Sch. of Bus.}}
@string{cwi  		= {CWI}}
@string{daviscse	= {U. California, Davis, Dept.\ CS and Eng.}}
@string{erasmusecon	= {Erasmus U. Econometric Inst.}} % Rotterdam, Neth.
@string{gmd		= {Gesellschaft f\"{u}r Mathematik und Datenverarbeitung}}
@string{lfcs		= {Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh}}
@string{mathcent	= {Mathematisch Centrum}}	  % Amsterdam
@string{mitai		= {MIT AI Lab.}}
@string{eecs		= {Dept.\ of Electrical Engineering and Computer Science,
Cambridge, MA 02139}}
@string{lcs		= {Lab.\ for Computer Science}}
@string{mitlids		= {MIT Lab.\ for Information and Decision Systems}}
@string{mitmath		= {MIT Dept.\ of Mathematics}}
@string{mitsloan	= {MIT Sloan School of Management}}
@string{passau		= {Fakult\"{a}t f\"{u}r Mathematik und Informatik, Universit\"{a}t Passau}}
@string{stanfordcs	= {Stanford U. Computer Science Dept.}}
@string{tum 		= {Institut f\"{u}r Informatik, Technische Universit\"{a}t M\"{u}nchen}}
@string{yalecs		= {Yale Dept.\ Comp. Sci.}}

% Publishers

@string{academicp	= {Academic Press}}		% NY
@string{addison		= {Addison-Wesley}}  % Reading, MA
@string{birkhauser	= {Birkhauser}}			% Boston, MA
@string{cup		= {Cambridge University Press}}
@string{csp		= {Computer Science Press}}	% Rockville, MD
@string{dover		= {Dover Publications, Inc.}}	% NY
@string{freeman		= {W. H. Freeman and Co.}}	% San Francisco, CA
@string{holt		= {Holt, Rinehart and Winston}}	% NY
@string{hopkins		= {The Johns Hopkins U. Press}}	% Baltimore, MD
@string{macmillan	= {Macmillan Publishing Co., Inc.}} % NY
@string{mcgraw		= {McGraw-Hill Book Co.}}	% NY
@string{mitp		= {MIT Press}}			% Cambridge, MA
@string{nholland	= {North-Holland}}		   % NY
@string{prentice	= {Prentice-Hall International}}    % Englewood Cliffs, NJ
@string{princeton	= {Princeton U. Press}}		% Princeton, NJ
@string{siam		= {Society for Industrial and Applied Mathematics}}
							% Philadelphia, PA
@string{springer	= {Springer-Verlag}}		% NY
@string{wiley		= {John Wiley \& Sons}}		% NY
@string{yale		= {Yale U. Press}}		% New Haven, CT

@string{ny		= {New York}}

%Journals

@string{fac = "Formal Aspects of Computing"}
@string{funinf = "Fundamenta Informaticae"}
@string{cwin = "CWI Newsletter"}
@string{cwiq = "CWI Quarterly"}
@string{eik = "J. Inf. Process. Cybern. EIK"},
@string{jcnisdns="Journal of Computer Networks and {ISDN} Systems"}
        J. Comp. Netw. and ISDN Syst.
@string{ieeecomm="IEEE Transactions on Communications"}
        IEEE Trans. Comm.


%WHAT FOLLOWS IS COPIED FROM SOME STAANDARD FILE AT LCS
%---------------------------------------------------------------------------
%The following abbreviations are available in the standard BibTeX
%styles (abbrev, alpha, plain, unsrt).

acmcs:  ACM Computing Surveys;
        ACM Comput. Surv.

acta:   Acta Informatica;
        Acta Inf.

cacm:   Communications of the ACM;
        Commun. ACM

ibmjrd: IBM Journal of Research and Development;
        IBM J. Res. Dev.

ibmsj:  IBM Systems Journal;
        IBM Syst.~J.

ieeese: IEEE Transactions on Software Engineering;
        IEEE Trans. Softw. Eng.

ieeetc: IEEE Transactions on Computers;
        IEEE Trans. Comput.

ieeetcad: IEEE Transactions on Computer-Aided Design of Integrated Circuits;
         IEEE Trans. Comput.-Aided Design Integrated Circuits

ipl:    Information Processing Letters;
        Inf. Process. Lett.

jacm:   Journal of the ACM;
        J.~ACM

jcss:   Journal of Computer and System Sciences;
        J.~Comput. Syst. Sci.

scp:    Science of Computer Programming;
        Sci. Comput. Programming

sicomp: SIAM Journal on Computing;
        SIAM J. Comput.

tcs:    Theoretical Computer Science;
        Theor. Comput. Sci.

tocs:   ACM Transactions on Computer Systems;
        ACM Trans. Comput. Syst.

tods:   ACM Transactions on Database Systems;
        ACM Trans. Database Syst.

tog:    ACM Transactions on Graphics;
        ACM Trans. Gr.

toms:   ACM Transactions on Mathematical Software;
        ACM Trans. Math. Softw.

toois:  ACM Transactions on Office Information Systems;
        ACM Trans. Office Inf. Syst.

toplas: ACM Transactions on Programming Languages and Systems;
        ACM Trans. Prog. Lang. Syst.

The following addtional abbreviations are available in the TOC
bibliography styles (abbrev, alphabetica, unsorted and vanilla).

@string{aal="Algebra and Logic"}
        Algebra Logic

@string{aam="Advances in Applied Mathematics"}
        Adv. Appl. Math.

@string{ai="Artificial Intelligence"}
        Artif. Intell.

@string{ail="Algebra i Logika"}
        Algebra i Logika

@string{algolb="ALGOL Bulletin"}
        ALGOL Bull.

@string{algor="Algorithmica"}
        Algorithmica

@string{ama="Advances in Mathematics"}
        Adv. Math.

@string{apal="Annals of Pure and Applied Logic"}
        Ann. Pure Appl. Logic

@string{archiv="Archiv Math. Logik Grundlagenforsch"}
        Archiv Math. Logik Grundlagenforsch.

@string{cmu="Carnegie-Mellon University"}
        Carnegie-Mellon Univ.

@string{cma="Computers and Mathematics with Applications"}
        Comput. Math. Appl.

@string{comb="Combinatorica"}
        Combinatorica

@string{comj="Computer Journal"}
        Computer J.

@string{comlan="Computer Languages"}
        Comput. Lang.

@string{discomgeom="Discrete and Computational Geometry"}
        Discrete Comput. Geom.

@string{discomp="Distributed Computing"}
            Distrib. Comput.

@string{eatcs="Bulletin of the European Association for Theoretical Computer Science"}
        Bull. Europ. Ass. Theoretical Computer Sci.

@string{i&comp="Information and Computation"}
        Information and Computation

@string{iandcomp="Information and Computation"}
        Information and Computation

@string{i&c="Information and Computation"}
        Information and Computation

@string{iandc="Information and Control"}
        Information and Control

@string{icalp="International Colloquium on Automata, Languages, and Programming"}
        Int'l Coll. Automata, Languages, and Programming

@string{ieeeit="IEEE Transactions on Information Theory"}
        IEEE Trans. Inf. Theor.

@string{ijpp="International Journal of Parallel Programming"}
        Int. J. Parallel Program.

@string{jalg="Journal of Algorithms"}
        J. Algorithms

@string{jsc="Journal of Symbolic Computation"}
        J. Symbolic Computation

@string{jsl="Journal of Symbolic Logic"}
        J. Symbolic Logic

@string{jvlsics="Journal of VLSI and Computer Systems"}
        J. VLSI and Comput. Syst.

@string{lics="Logic in Computer Science"}
        Logic in Computer Science

@string{lncs="Lecture Notes in Computer Science"}
        Lect. Notes in Computer Sci.

@string{lnmath="Lecture Notes in Mathematics"}
        Lect. Notes in Math.

@string{mathprog="Mathematical Programming"}
            Math. Program.

@string{miteecs="Department of Electrical Engineering and Computer
            Science, Mass\-a\-chu\-setts Insti\-tute of Tech\-no\-logy"}
        Dept. Elec. Eng. \& Computer Sci., MIT
@string{mitlcs="MIT Laboratory for Computer Science"}
        MIT Lab. for Computer Sci.

@string{mitmath="Department of Mathematics, Mass\-a\-chu\-setts Insti\-tute
            of Tech\-no\-logy"}
        Dept. Mathematics, MIT

@string{mit="Mass\-a\-chu\-setts Insti\-tute of Tech\-no\-logy"}
        MIT

@string{mor="Mathematics of Operations Research"}
        Math. Oper. Res.

@string{mst="Mathematical Systems Theory"}
        Math. Systems Theory

@string{networks="Networks"}
        Networks

@string{or="Operations Research"}
        Oper. Res.

@string{orl="Operations Research Letters"}
        Oper. Res. Lett.

@string{pieee="Proceedings of the IEEE"}
        Proc. IEEE

@string{popl="Principles of Programming Languages"}
        Principles of Programming Languages

@string{siamjdm="SIAM Journal on Discrete Mathematics"}
        SIAM J. Discrete Math.

@string{sigplan="ACM SIGPLAN Notices"}
        ACM SIGPLAN Notices

@string{slfm="Studies in Logic and the Foundations of Mathematics"}
        Studies in Logic and Found. Math.

@string{sp&e="Software: Practice & Experience"}
        Software: Practice & Experience

@string{spande="Software: Practice & Experience"}
        Software: Practice & Experience

@string{utm="Undergraduate Texts in Mathematics"}
        Undergraduate Texts in Mathematics

@string{zmlgm="Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der Mathematik"}
        Z. Math. Logik Grundl. Math.