ftp://ubira.bham.ac.uk/eTheses/1670_Milner/