Large-scale System Development Using Abstract Data Types and Refinement (BiBTeX)

@Article{fuerst16:_large_system_devel_using_abstr,
  author = 	 {Andreas F\"urst and Thai Son Hoang and David Basin and Naoto Sato and Kunihiko Miyazaki},
  title = 	 {Large-scale System Development Using Abstract Data Types and Refinement},
  journal = 	 {Science of Computer Programming},
  year = 	 2016,
  month = 	 dec,
  volume = 	 {131},
  pages = 	 {59--75},
  url = 	 {http://dx.doi.org/10.1016/j.scico.2016.04.010}
}