@inbook{amtoft_makholm_wells, 
  title={Polya:True Type Polymorphism for Mobile Ambients}, 
  DOI={10.1007/1-4020-8141-3_45}, 
  publisher={Kluwer Academic Publishers}, 
  author={Amtoft and Makholm and Wells}
  }