tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;
@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}