@misc
{
	easychair,
	author       = {Andrei Voronkov},
	title        = {{EasyChair} Conference System},
	year         = {2004--2011},
	howpublished = {\url{easychair.org}}
}

@misc
{
	easychair-latex-class,
	author       = {Serguei A. Mokhov and Geoff Sutcliffe and Andrei Voronkov},
	title        = {The {\sf easychair} Class File Documentation and Guide,
	                for Authors and Editors},
	year         = {2008--2011},
	howpublished = {[online]},
	note         = {Available at \url{http://easychair.org/easychair.zip}}
}

@misc
{
	texniccenter,
	author       = {Sven Wiegand and {{\TeX}nicCenter Contributors}},
	title        = {{{\TeX}nicCenter}},
	year         = {1998--2011},
	howpublished = {\url{http://texniccenter.org}, last viewed April 2010}
}

@misc
{
	led,
	author       = {Adam Sk\'orczy\'nski and Sebastian Deorowicz and {LEd Contributors}},
	title        = {{LEd} ({\LaTeX} Editor)},
	year         = {2004--2011},
	howpublished = {\url{http://latexeditor.org}, last viewed April 2010}
}

@misc
{
	miktex,
	author       = {Christian Schenk and {MiK{\TeX} Contributors}},
	title        = {{MiK{\TeX}}},
	year         = {2008--2011},
	howpublished = {\url{http://miktex.org}, last viewed April 2010}
}

@misc
{
	texlive,
	author       = {Sebastian Rahtz
	                and Karl Berry
	                and Manuel P\'egouri\'e-Gonnard
	                and Norbert Preining
	                and Peter Breitenlohner
	                and Reinhard Kotucha
	                and Siep Kroonenberg
	                and Staszek Wawrykiewicz
	                and Tomasz Trzeciak
	                and Vladimir Volovich
	                and {\TeX user groups}},
	title        = {{{\TeX} Live}},
	year         = {1996--2009},
	howpublished = {\url{http://tug.org/texlive/}, last viewed April 2010}
}

@misc
{
	pdflatex,
	author       = {{pdflatex Authors}},
	title        = {pdflatex},
	year         = {2004--2011},
	howpublished = {[digital]}
}

@misc
{
	pdflatex-instructions,
	author       = {Carl Gutwin},
	title        = {Instructions for pdflatex},
	year         = 2006,
	howpublished = {\url{http://www.cs.usask.ca/~gutwin/gi/pdflatex.htm}, last viewed April 2010}
}

@misc
{
	texshop,
	author       = {Richard Koch and Max Horn and Gerben Wierda and {Various Contributors}},
	title        = {{\TeX}Shop},
	year         = {2001--2011},
	howpublished = {\url{http://www.texshop.org}}
}

@misc
{
	ctan,
	author       = {{The CTAN team}},
	title        = {{CTAN}: the Comprehensive {\TeX} Archive Network},
	year         = {1992--2011},
	howpublished = {\url{ctan.org}}
}

@misc
{
	inputenc-package,
	author       = {Alan Jeffrey and Frank Mittelbach},
	title        = {inputenc: Accept different input encodings},
	year         = {1986--2009},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/inputenc.html}, last viewed April 2010}
}

@misc
{
	url-package,
	author       = {Donald Arseneau},
	title        = {url: Verbatim with {URL}-sensitive line breaks},
	year         = {1986--2011},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/url.html}, last viewed April 2010}
}

@misc
{
	hyperref-package,
	author       = {Heiko Oberdiek and Sebastian Rahtz},
	title        = {hyperref: Extensive support for hypertext in {\LaTeX}},
	year         = {2001--2010},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/hyperref.html}, last viewed April 2010}
}

@misc
{
	graphicx-package,
	author       = {David Carlisle},
	title        = {graphicx: Enhanced support for graphics},
	year         = {1995--1999},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/graphicx.html}, last viewed April 2010}
}

@misc
{
	mathptmx-package,
	author       = {Walter Schmidt and Alan Jeffrey and Sebastian Rahtz and Ulrik Vieth},
	title        = {mathptmx: Use {Times} as default text font, and provide maths support.},
	year         = {1986--2009},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/mathptmx.html}, last viewed April 2010}
}

@misc
{
	helvet-package,
	author       = {Walter Schmidt and Sebastian Rahtz},
	title        = {helvet: Font support for common {PostScript} fonts},
	year         = {1995--2005},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/psnfss.html}, last viewed April 2010}
}

@misc
{
	listings-package,
	author       = {Brooks Moses and Carsten Heinz},
	title        = {listings: Typeset source code listings using {\LaTeX}},
	year         = {2006--2007},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/listings.html}, last viewed April 2010}
}

@misc
{
	latexsym-package,
	author       = {{The LaTeX Team}},
	title        = {latexsym: Base sources of {\LaTeX}},
	year         = {1986--2009},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/latex-base.html}, last viewed April 2010}
}

@misc
{
	amsthm-package,
	author       = {{The American Mathematical Society}},
	title        = {amsthm: {\LaTeX} package for theorem setup ({AMS} style)},
	year         = {1995--2004},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/amsthm.html}, last viewed April 2010}
}

@misc
{
	empheq-package,
	author       = {Morten H{\o}gholm},
	title        = {empheq: {EMPHasizing EQuations}},
	year         = {2002--2007},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/empheq.html}, last viewed April 2010}
}

@misc
{
	geometry-package,
	author       = {Hideo Umeki},
	title        = {geometry: Flexible and complete interface to document dimensions},
	year         = {1996--2008},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/geometry.html}, last viewed April 2010}
}

@misc
{
	lastpage-package,
	author       = {Jeffrey Goldberg},
	title        = {lastpage: Reference last page for {Page N of M} type footers},
	year         = {1986--2010},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/lastpage.html}, last viewed April 2010}
}

@misc
{
	fancyhdr-package,
	author       = {Piet van Oostrum},
	title        = {fancyhdr: Extensive control of page headers and footers in {\LaTeX2e}},
	year         = {1986--2009},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/fancyhdr.html}, last viewed April 2010}
}

@misc
{
	footmisc-package,
	author       = {Robin Fairbairns},
	title        = {footmisc: A range of footnote options},
	year         = {1986--2009},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/footmisc.html}, last viewed April 2010}
}

@misc
{
	rotating-package,
	author       = {Robin Fairbairns and Sebastian Rahtz},
	title        = {rotating: Rotation tools, including rotated full-page floats},
	year         = {2001--2009},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/rotating.html}, last viewed April 2010}
}

@misc
{
	pdflscape-package,
	author       = {Heiko Oberdiek},
	title        = {pdflscape: Make landscape pages display as landscape},
	year         = {2001--2008},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/pdflscape.html}, last viewed April 2010}
}

@misc
{
	algorithm2e-package,
	author       = {Christophe Fiorio},
	title        = {algorithm2e: Floating algorithm environment with algorithmic keywords},
	year         = {1986--2009},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/algorithm2e.html}, last viewed April 2010}
}

@misc
{
	makeidx-package,
	author       = {{The LaTeX Team}},
	title        = {latexsym: Standard package for creating indexes},
	year         = {1986--2009},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/makeidx.html}, last viewed April 2010}
}

@misc
{
	eso-pic-package,
	author       = {Rolf Niepraschk},
	title        = {eso-pic: Absolute positioning of graphics and ship out actions},
	year         = {1998--2009},
	howpublished = {\url{http://www.ctan.org/tex-archive/help/Catalogue/entries/eso-pic.html}, last viewed April 2010}
}

@misc
{
	esarm-08,
	author       = {Geoff Sutcliffe and Simon Colton and Stephan Schulz},
	title        = {Empirically Successful Automated Reasoning for Mathematics ({ESARM}) - 27th July 2008},
	year         = 2008,
	month        = jul,
	day          = 27,
	howpublished = {[online]},
	note         = {\url{http://events.cs.bham.ac.uk/cicm08/workshops/esarm/}, last viewed April 2010}
}

@proceedings
{
	esarm-08-proceedings,
	editor       = {Geoff Sutcliffe and Simon Colton and Stephan Schulz},
	title        = {Empirically Successful Automated Reasoning for Mathematics ({ESARM})},
	location     = {Birmingham, United Kingdom},
	publisher    = {CEUR-WS.org},
	issn         = {1613-0073},
	year         = 2008,
	month        = jul,
	day          = 27,
	note         = {\url{http://CEUR-WS.org/Vol-378}, last viewed April 2010}
}

@misc
{
	gmake,
	author       = {Richard Stallman and Roland McGrath and Paul Smith and {the GNU Project}},
	title        = {{GNU Make}},
	howpublished = {Free Software Foundation, Inc., [online]},
	year         = {1997--2006},
	note         = {\url{http://www.gnu.org/software/make/}}
}

@misc
{
	fink,
	author       = {{The Fink Project}},
	title        = {Fink},
	year         = {2001--2011},
	howpublished = {[online]},
	note         = {\url{http://www.finkproject.org/}}
}
