Formalising C in HOL (1998)

by Michael Norrish