Software Engineering - Hoare, C (1978)