Title: C formalised in HOL
First published: 1998