The homepage of Kenneth Johnson has moved to:

http://www.dcs.shef.ac.uk/~csken/