@inproceedings{DBLP:conf/mpc/AvgustinovBHMOSST06,
  title = "Aspects and Data Refinement",
  author = "Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam
and Julian Tibble",
  year = "2006",
  booktitle = "MPC",
  crossref = "DBLP:conf/mpc/2006",
  pages = "5-9",
}