> Strange. Google with "Thomas Bushnell + hurd" gave nothing... > And I thought that I have looked for everything at gnu.org. It was > indeed a stupid question ;) He's a slippery one, this Bushnell. You see, at the time the paper in question was written, his name was Michael I. Bushnell. Try "Bushnell + hurd". He hasn't changed his last name, though you can never tell what he might decide to do.