msiegel Star
hoare is brilliant, and i highly recommend his paper "An axiomatic basis for computer programming" linked to from the wikipedia article