Added a link to Luca Cardelli's paper