Isabelle / HOL / VDM CW