Eugenio Moggi Computational Lambda-Calculus and Monads conf/lics/LICS4 1989 LICS 14-23 db/conf/lics/lics89.html#Moggi89