R.D. Tennent <br/><br/>
Principle of Programming Languages