A Fragment of Graph Theory - Hoare, C (1994)