Type and Effect Systems by Torben Amtoft & Flemming Nielson