Comparing models of parallel computation by homomorphismsRaymond E. MillerTakumi Kasai1979COMPSAC 1979