Author: International Symposium ISSAC '88 (1988 Rome, Italy)