Invia SMS: Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul, Eli Shamir (eds.).