@inproceedings{Chartier98,
  author = {P. Chartier},
  title = {{Formalization of B in Isabelle/HOL}},
  booktitle = {{Proceedings of the Second B International Conference}},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 1393,
  year = 1998,
  address = {{Montpellier, France}},
  month = {April}
}