A Demonstrably Correct Compiler. - Susan Stepney; Dave Whitely; David Cooper; Colin Grant (Formal Aspects Comput., 1991)