"Colin Watkinson"@cs .