@article{DBLP:journals/fac/BicarreguiHW06,
  title = "The verified software repository: a step towards the verifying compiler",
  author = "Juan Bicarregui and C. A. R. Hoare and J. C. P. Woodcock",
  year = "2006",
  journal = "Formal Asp. Comput.",
  number = "2",
  pages = "143-151",
  volume = "18",
  doi = "10.1007/s00165-005-0079-4",
}