Probabilistic Termination in B (BiBTeX)

@InProceedings{mciver03:_probab_termin_b,
  author =	 {Annabelle McIver and Carroll Morgan and Thai Son Hoang},
  title =	 {Probabilistic Termination in {B}},
  crossref =	 {bert03:_zb2003},
  pages =        {216--239},
  note =         {\url{http://dx.doi.org/10.1007/3-540-44880-2_15}}
}

@Proceedings{bert03:_zb2003,
  title =        {Proceedings of the 3rd International Conference of {B} and {Z} Users ({ZB2003})},
  booktitle =	 {{ZB2003}: Formal Specification and Development in {Z} and {B}},
  editor =	 {Didier Bert and Jonathan Bowen and Steve King and Marina Wald\'{e}n},
  volume =	 2651,
  series =	 {Lecture Notes in Computer Science},
  year = 	 2003,
  month =	 jun,
  address =	 {Turku, Finland},
  publisher =	 {Springer-Verlag}
}