Structured Programming - Hoare, Charles Antony Richard