Dijkstra and Scholten's Predicate Calculus and Program Semantics is a good textbook on the subject. Dijkstra's a Discipline of Programming is much more informal, but I find it more readable and it has a number of good examples.
This is probably difficult to explain without proper context, but could I ask you for a summary? (Thanks for the book references.)