@inproceedings{InfiniteFamilyOfInductions,
  title = "{Verifying an infinite family of inductions simultaneously using data independence and FDR}",
  author = "A. W. Roscoe and S.J. Creese",
  year = "1999",
  booktitle = "{Formal Methods for Protocol Engineering and Distributed Systems, the proceedings of Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV'99)}",
  publisher = "{Kluwer Academic Publishers}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/72.pdf",
}