added hoare's theories of programming as a reference
Merge branch 'hoare_ref'