A Theory of Non−determinism - Hoare, C; Kennaway, J (1980)