Author: International Symposium SIGAL '90 (1990 Tokyo, Japan).