@article{ bootstrap,
author = "Steve Traugott and Joel Huddleston",
title = "Bootstrapping an infrastructure",
journal = "Proceedings of the 12th Systems Administration Conference (LISA XII) (USENIX Association: Berkeley, CA)",
pages = "181",
year = "1998",
url = "citeseer.nj.nec.com/traugott98bootstrapping.html"
}

<reference name="brookshear">
  <i>Computer Science</i>, An Overview, (very accessible
  text), J. Glenn Brookshear, Addison Wesley, 2000, ISBN
  0-201-35747-X
</reference>

@website{ centerrun,
title = "CenterRun Application Management System",
url = "www.centerrun.com"
}

<reference name="cfengine">
      <i>Cfengine</i>, A configuration engine,
	    http://www.cfengine.org/
</reference>

<reference name="church"> <i>Review of Turing 1936</i>,
    Church, A., 1937a Journal of Symbolic Logic, 2, 42-43.
</reference>

@article{couch,
pages={63},
title={The Maelstrom: Network Service Debugging via "Ineffective Procedures"},
author={Alva Couch and N. Daniels},
year={2001},
journal={Proceedings of the Fifteenth Systems Administration Conference (LISA XV) (USENIX Association: Berkeley, CA)},
}

@article{cvs,
title={Concurrent Version System},
url="www.cvshome.org"
}

@website{cvsup,
title={CVSup Versioned Software Distribution package},
url="www.openbsd.org/cvsup.html"
}

@website{debian,
title={Debian Linux},
url="www.debian.org"
}

@BOOK{dewdney,
author = "A. K. Dewdney",
title = "The (New) Turing Omnibus -- 66 Excursions in Computer Science",
publisher = "W. H. Freeman and Company",
year = "1993"
}

@article {eika-sandnes,
title="Scheduling Partially Ordered Events In A Randomized Framework - Empirical Results And Implications For Automatic Configuration Management",
author= "Frode Eika Sandnes",
journal={Proceedings of the Fifteenth Systems Administration Conference (LISA XV) (USENIX Association: Berkeley, CA)},
year={2001},
}

<reference name="elbaum"> <i>The Impact of Software
	    Evolution on Code Coverage Information</i> Sebastian
    G. Elbaum, David Gable, Gregg Rothermel, International
    Conference on Software Engineering p. 170-179, 2001
</reference>

<reference name="garey">
     <i>Computers and Intractability</i>, A guide to the
     theory of NP-Completeness, Michael R. Garey, David S.
     Johnson, W.H. Freeman and and Company, 2002, ISBN
     0-7167-1045-5
</reference>

<reference name="godel">
  <i>Uber formal unentscheidbare Satze der Principia
  Mathematica und verwandter Systeme
  </i>,
  Kurt Godel,
  Monatshefte fur Mathematik und Physik, 38:173--198, 1931.
</reference>

<reference name="godfrey">
<i>The Computer as Von Newmann Planned
	    it</i>, M.D.  Godfrey, D.F Hendry, IEEE Annals of the
    History of Computing, Vol 15, No 1, 1993
</reference>

<reference name="greenlaw"> <i>Fundamentals of the Theory
	    of Computation</i>, (includes examples in C and UNIX
    shell, detailed references to seminal works, 
    Raymond Greenlaw, H James Hoover, Morgan Kaufmann, 1998, ISBN
    1-55860-474-X
</reference>

@person{ hagerty,
author = "Daniel Hagerty",
email = "hag@ai.mit.edu",
year = "2002",
misc = "personal correspondence"
}

<reference name="hamlet">
    <i>Foundations of Software Testing: Dependability
	    Theory</i>, Dick Hamlet, Software Engineering Notes v
    19, No.5, Proceedings of the Second ACM SIGSOFT
    Symposium on Foundations of Software Engineering, pp.
    128-139, 1994
</reference>


@article{hart,
title={An Analysis of RPM Validation Drift},
author={John Hart and Jeffrey D'Amelia},
year={2002},
journal={Proceedings of the 16th Systems Administration Conference (USENIX Association: Berkeley, CA)}
}

@article {immunology,
title={Computer immunology},
author={M. Burgess},
year={1998},
pages={283},
journal={Proceedings of the Twelth Systems Administration Conference (LISA XII) (USENIX Association: Berkeley, CA)},
}


<reference name="isconf">
     <i>ISconf</i>, Infrastructure configuration
	    manager, http://www.isconf.org and
	    http://www.infrastructures.org
</reference>

<reference name="jiang">
    <i>Basic Notions in Computational Complexity</i>, Tao
    Jiang, Ming Li, Bala Ravikumar, Algorithms and Theory of
    Computation Handbook p. 24-1, CRC Press, 1999, ISBN
    0-8493-2649-4
</reference>

@article{ laitenberger,
author = "Oliver Laitenberger and Jean-Marc DeBaud",
title = "An encompassing life cycle centric survey of software inspection",
journal = "The Journal of Systems and Software",
volume = "50",
number = "1",
pages = "5--31",
year = "2000",
url = "citeseer.nj.nec.com/laitenberger98encompassing.html"
}

@website{ lcfg,
title = "LCFG: A large scale UNIX configuration system",
url = "www.lcfg.org"
}

@article{ lisa,
title = "Large Installation Systems Administration Conference",
author = "USENIX Association, Berkeley, CA",
url = "www.usenix.org"
}

<reference name="mccabe">
  <i>Software Complexity</i>,
  McCabe, Thomas J. & Watson, Arthur H,
  Crosstalk, Journal of Defense Software Engineering 7, 12 (December
  1994): 5-9.
</reference>

@inproceedings{ nordin,
author = "Peter Nordin and Wolfgang Banzhaf",
title = "Evolving Turing-Complete Programs for a Register Machine with Self-modifying Code",
booktitle = "Genetic Algorithms: Proceedings of the Sixth International Conference (ICGA95)",
month = "15-19",
publisher = "Morgan Kaufmann",
address = "Pittsburgh, PA, USA",
editor = "L. Eshelman",
isbn = "1-55860-370-0",
pages = "318--325",
year = "1995",
url = "citeseer.nj.nec.com/nordin95evolving.html"
}

@article {oetiker,
pages={179},
title={Template Tree II: The Post-Installation Setup Tool},
author={T. Oetiker},
year={2001},
journal={Proceedings of the Fifteenth Systems Administration Conference (LISA XV) (USENIX Association: Berkeley, CA)},
}

@website{ opsware,
title = "Opsware Management System",
url = "www.opsware.com"
}

@website{ pikt,
title = {PIKT:  "Problem Informant/Killer Tool"},
url = "www.pikt.org"
}

@article{rdist,
author={M.A. Cooper},
title={Overhauling Rdist for the '90s},
journal={Proceedings of the Sixth Systems Administration Conference (LISA VI) (USENIX Association: Berkeley, CA)},
year={1992},
pages={175}
}

<reference name="richardson">
<i>Partition analysis: a method
combining testing and verification
</i>,
D. J. Richardson and L. A. Clarke,
IEEE Trans. Soft. Eng., 11(12):1477--1490, 1985
</reference>

@website{ rsync,
title = {rsync incremental file transfer utility},
url = "samba.anu.edu.au/rsync"
}

@website{ ssh,
title = {SSH protocol suite of network connectivity tools},
url = "www.openssh.org"
}

@tool{ sup,
title="The SUP Software Upgrade Protocol",
author="Steven Shafer and Mary Thompson",
url="www.cs.cmu.edu/afs/cs.cmu.edu/project/mach/public/sup/sup.ps",
year="1989"
}

@website{ tivoli,
title = "Tivoli Management Framework",
url = "www.tivoli.com"
}

<reference name="turing">
 <i>On Computable Numbers, with an Application
		to the Entscheidungsproblem</i>, Alan M. Turing, Proceedings
	of the London Mathematical Society, Series 2, 42 (1936-37),
	pp.230-265. 
</reference>

<reference name="vonneumann">
 <i>First Draft of a Report on the EDVAC</i>,
	John Von Neumann, IEEE Annals of the History of Computing,
	Vol 15, No 4, 1993
</reference>

@website{ xilinx,
title = "Xilink Virtex-II Platform FPGA",
url = "www.xilinx.com"
}