B. A. Trakhtenbrot
Tel-Aviv University
Department of Computer Science
School of Mathematical Sciences
Ramat-Aviv, Tel-Aviv
Israel
trakhte@math.tau.ac.il