src/HOL/Induct/document/root.bib

tuned NEWS;

@string{CUCL="Computer Laboratory, University of Cambridge"}

@TechReport{camilleri92,
  author	= {J. Camilleri and T. F. Melham},
  title		= {Reasoning with Inductively Defined Relations in the
		 {HOL} Theorem Prover},
  institution	= CUCL,
  year		= 1992,
  number	= 265,
  month		= Aug}