Author: GLIM 89 (Conference) (1989 Trento, Italy)