AB49.1.3

AB49.1.3 Book Review - Correctness Preserving Program Refinements: Proof Theory and Applications, page 3

Pages 3-4