Azab, Karl, Annegret Habel, Karl-Heinz Pennemann, and Christian Zuckschwerdt. “ENFORCe: A System for Ensuring Formal Correctness of High-Level Programs”. Electronic Communications of the EASST 1 (July 2, 2007). Accessed July 17, 2025. https://www.eceasst.org/index.php/eceasst/article/view/1386.