K. Azab, A. Habel, K.-H. Pennemann, and C. Zuckschwerdt, “ENFORCe: A System for Ensuring Formal Correctness of High-level Programs”, eceasst, vol. 1, Jul. 2007.