Also read Robert Floyd's paper Assigning Meanings to Programs. After getting the gist of the above, reading Bertrand Meyer's Design by Contract and Applying De

Also read Robert Floyd's paper Assigning Meanings to Programs. After getting the gist of the above, reading Bertrand Meyer's Design by Contract and Applying Design by Contract will clarify on how to apply the ideas to "real" systems.