Michael A. Jackson's home page is
http://mcs.open.ac.uk/mj665/