Palsberg, J. (1992). An Automatically Generated and Provably Correct Compiler for a Subset of Ada. DAIMI Report Series, 21(383). https://doi.org/10.7146/dpb.v21i383.6615