Springer Journals TeX and LaTeX Packages - http://www.springer.com/math/math+authors?SGWID=0-40017-2-94399-0 Includes packages for Acta Informatica, Archive for Mathematical Logic, Distributed Computing, Inventiones mathematicae, manuscripta mathematica, Mathematical Programming, Mathematische Annalen, Mathematische Zeitschrift, Numerische Mathematik, Probability Theory and Related Fields.
LNCS/LNAI: Information for Authors - http://www.springer.com/computer/lncs/lncs+authors LaTeX2e macro package for Springer Lecture Notes in Computer Science and in Artificial Intelligence.
ASL Typesetting Office - http://www.math.ucla.edu/~asl/ TeX files in the style used by the publications of the Association for Symbolic Logic, including The Journal of Symbolic Logic, The Bulletin of Symbolic Logic and the Lecture Notes in Logic. Document class, bibtex style and documentation (PS).