Author: International Symposium on Uniformly Structured Automata and Logic Tokyo 1975