Bibliography: EDSLs and rewrite rules