LITP Spring School on Theoretical Computer Science Argelès-Village, France, May 12–16, 1986 Proceedings
Lecture Notes in Computer Science > Automata Networks > 117-125