Automata, languages, and programming : third international colloquium at the University of Edinburgh - Michaelson, S.; Milner, R. (Robin), 1934- (University Press, 1976)