Book

Two-level functional languages

by Flemming Nielson