@neauoire Thanks for the recommendation. Added to my (not short) to-get list.

Neither of the online book stores I usually use (Blackwell's and Waterstones) has this but amazon.co.uk does. But this from their synopsis: “This brilliant group created … and the graphical interface (one of the main precursors of the Internet)”. What?