J. W. de Bakker

• Correctness proofs for assignment statements