Claude Richard Pond

• On proving the correctness of computer programs