Martín Abadi Cédric Fournet Georges Gonthier Secure Implementation of Channel Abstractions. 105-116 1998 LICS db/conf/lics/lics98.html#AbadiFG98