Susan Stepney Incremental Development of a High Integrity Compiler: Experience from an Industrial Development. 142-149 1998 conf/hase/1998 HASE https://doi.org/10.1109/HASE.1998.731606 https://doi.ieeecomputersociety.org/10.1109/HASE.1998.731606 db/conf/hase/hase1998.html#Stepney98