Fowler, Jonathan, Hutton, Graham, "Towards a theory of reach", Lecture Notes in Computer Science, 2016