[Suzuki75] N. Suzuki, Verifying Programs by Algebraic and Logical Reduction, IEEE, Conference on Reliable Software, 473-481, 1975. []