Two-level functional languages /
Neilson, Flemming.
Neilson, Hanne Riis.
Cambridge : Cambridge University Press,
1992.