Azab, K.; Habel, A.; Pennemann, K.-H.; Zuckschwerdt, C. ENFORCe: A System for Ensuring Formal Correctness of High-Level Programs. eceasst 2007, 1.