You should be redirected automatically to the target URL: https://www.cse.unsw.edu.au/~se2011/16s1/lectures/4_basic-hoare.pdf. If not, click the link.