Proof Hints for Event-B (BiBTeX)

@Article{hoang12:_proof_hints_event_b,
  author = 	 {Thai Son Hoang},
  title = 	 {Proof Hints for {Event-B}},
  journal = 	 {CoRR},
  volume = 	 {abs/1211.1172},
  year = 	 2012,
  note = 	 {In Proceedings of the DS-Event-B2012 Workshop. \url{http://arxiv.org/abs/1211.1172}}
}