The verified software repository: a step towards the verifying compiler - Bicarregui, J; Hoare, C; Woodcock, J (2006)