Refinement calculus: A basis for translation validation, debugging and certificationRohit N. KundajiR.K. Shyamasundar2006Theoretical Computer Science
