Program Construction

I apologise, I have been newly made a computer scientist. I am doing a module calles Program construction* were covering quantified* notation hoare triples*, weakest preconditions, backwards derivation, emptying the range finding the values in an array, abstracted class reduction etc

I was wondering if anyone could recommend a text(s) for a beginner in this area.

xposted compscibooks