Abstract Data Types in Event-B - An Application of Generic Instantiation (BiBTeX)

@Article{basin12:_abstr_data_types_event_b,
  author = 	 {David Basin and Andreas F{\"u}rst and Thai Son Hoang and Kunihiko Miyazaki and Naoto Sato},
  title = 	 {Abstract Data Types in {Event-B} --- An Application of Generic Instantiation},
  journal = 	 {CoRR},
  volume = 	 {abs/1210.7283},
  year = 	 2012,
  note = 	 {In Proceedings of the DS-Event-B2012 Workshop. \url{http://arxiv.org/abs/1210.7283}}
}