Azab, Karl, et al. “ENFORCe: A System for Ensuring Formal Correctness of High-Level Programs”. Electronic Communications of the EASST, vol. 1, July 2007, doi:10.14279/tuj.eceasst.1.82.