Book

Modular programming languages

by David Lightfoot, Clemens Szyperski