R. J. Hoare

• Understanding through interest