Prof. Algirdas Avizienis
Dept. of Computer Science
UCLA
Los Angeles, CA 90024-1596
E-mail: aviz@cs.ucla.edu