D. Dolev and D. Malki 1993
In the 20th Intl. Conference on Automata, Languages and Programming, (LNCS, 700), Lund, Sweden, July 1993