Formalising C and C++ for Use in High Integrity Systems. - Colin M. O'Halloran; Clive H. Pygott (SSS, 2007)