Refinement by Interface Instantiation (BiBTeX)

@InProceedings{hallerstede12:_refin_inter_instan,
  author = 	 {Stefan Hallerstede and Thai Son Hoang},
  title = 	 {Refinement by Interface Instantiation},
  crossref = 	 {derrick12:_abz2012},
  pages = 	 {223--237},
  note =         {\url{http://dx.doi.org/10.1007/978-3-642-30885-7_16}}
}

@Proceedings{derrick12:_abz2012,
  title = 	 {Proceedings of the 3rd International Conference on {Abstract State Machines}, {Alloy}, {B}, {VDM}, and {Z} ({ABZ2012})},
  booktitle = 	 {{Abstract State Machines}, {Alloy}, {B}, {VDM}, and {Z}},
  editor = 	 {John Derrick and John Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene},
  volume = 	 7316,
  series = 	 {Lecture Notes in Computer Science},
  year = 	 2012,
  month = 	 jun,
  address = 	 {Pisa, Italy},
  publisher = 	 {Springer-Verlag},
  note =         {\url{http://dx.doi.org/10.1007/978-3-642-30885-7}}
}