Gabor T. Herman When is a Sequential Machine the Realization of Another? 115-127 1971 5 Mathematical Systems Theory 2 db/journals/mst/mst5.html#Herman71