Book

Two-level functional languages

by Flemming Nielson, Hanne Riis Nielson