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

@Proceedings{derrick12:_abstr_state_machin_alloy_b_vdm_z,
  title = 	 {{Abstract State Machines}, {Alloy}, {B}, {VDM}, and
                  {Z}. Third International Conference, ABZ 2012, Pisa, Italy, June, 2012. Proceedings},
  year = 	 2012,
  booktitle = {ABZ},
  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},
  month = 	 jun,
  publisher = {Springer-Verlag},
  note =         {\url{http://dx.doi.org/10.1007/978-3-642-30885-7}}
}