Martín Abadi Cédric Fournet Georges Gonthier Secure Communications Processing for Distributed Languages. 74-88 1999 IEEE Symposium on Security and Privacy http://computer.org/conferen/proceed/s%26p/0176/01760074abs.htm db/conf/sp/sp1999.html#AbadiFG99