Automata,Languages and Programming.7.Colloguium Noordwijkerhout... - BAKKER, J.W; LEEUWEN, J.VAN (1980)