More Advice on Proving a Program Correct: Improve a Correct Compiler. Available from http://www.cs.ruu.nl/~erik (0)

by E Meijer