Two-Level Functional Languages by Flemming Nielson, Hanne Riis Nielson & Hanne Riis Neilson