Luca Cardelli Global Computation. 66-68 1997 32 SIGPLAN Notices 1 db/journals/sigplan/sigplan32.html#Cardelli97