"Thomas Tompion"@cs .