Bibliography: EDSLs and rewrite rules

Classification Schemes