Colloquium on Automata, Languages and Programming (1976)

by S Michaelson, R Milner