Event-B Development of the FindP Program (BiBTeX)

@TechReport{hoang09:_event_b_devel_of_findp_progr,
  author = 	 {Thai Son Hoang and Jean-Raymond Abrial},
  title = 	 {{Event-B} Development of the {FindP} Program},
  institution =  {ETH Zurich},
  year = 	 2009,
  number = 	 653,
  month = 	 nov,
}