"Speaking the Language of Molecules", Luca Cardelli, Microsoft Research Cambridge
