Fabio Alessi: Type Preorders. CAAP 1994: 37-51