ENFORCe: A System for Ensuring Formal Correctness of High-level Programs. - Karl Azab; Annegret Habel; Karl-Heinz Pennemann; Christian Zuckschwerdt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)