AUTOMATA LANGUAGES AND PROGRAMMING: 7TH INTERNATIONAL COLLOQUE,1980 - BAKKER,JACO W DE (ED), LEEUWEN,JAN VAN (ED) (SV BERLIN, 1980)