Formal System Modelling Using Abstract Data Types in Event-B (BiBTeX)

@InProceedings{fuerst14:_formal_system_model_using_abstr,
  author = 	 {Andreas F\"urst and Thai Son Hoang and David Basin and Naoto Sato and Kunihiko Miyazaki},
  title = 	 {Formal System Modelling Using Abstract Data Types in {Event-B}},
  crossref = 	 {ameur14:_abz2014},
  pages = 	 {222--237},
  note = 	 {\url{http://dx.doi.org/10.1007/978-3-662-43652-3_20}}  
}

@Proceedings{ameur14:_abz2014,
  title = 	 {Proceedings of the 4th Internationa Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z},
  booktitle = 	 {ABZ},
  editor = 	 {Yamine A\"{\i}t Ameur and Klaus-Dieter Schewe},
  volume = 	 8477,
  series = 	 {Lecture Notes in Computer Science},
  year = 	 2014,
  month = 	 jun,
  address = 	 {Toulouse, France},
  publisher = 	 {Springer-Verlag},
  note = 	 {http://dx.doi.org/10.1007/978-3-662-43652-3}
}