"INMOS transputers: T400, T800 and T9000"@cs .