Pier Giorgio Bosco Elio Giovannetti IDEAL: An Ideal Deductive Applicative Language. 89-94 1986 SLP db/conf/slp/slp86.html#BoscoG86