@BOOK\{IMM1992-01535, author = "F. Nielson and H. Riis Nielson", title = "Two-Level Functional Languages", year = "1992", volume = "", number = "", series = "Cambridge Tracts in Theoretical Computer Science \{\$\backslash\$bf vol.\verb+~+34\}", publisher = "Cambridge University Press", address = "", edition = "", url = "http://www2.compute.dtu.dk/pubdb/pubs/1535-full.html" }