Juan Bicarregui C. A. R. Hoare J. C. P. Woodcock The verified software repository: a step towards the verifying compiler. 143-151 2006 18 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-005-0079-4 db/journals/fac/fac18.html#BicarreguiHW06