Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo: Applicative Information Systems. CAAP 1983: 35-64