Agostino Cortesi Riccardo Focardi Computer languages and security. 1-2 2002 28 Comput. Lang. 1 db/journals/cl/cl28.html#CortesiF02