Eelco Visser. Combinatory Algebraic Specification & Compilation of List Matching. Master's thesis, Department of Computer Science, University of Amsterdam, Amsterdam, June 1993.
@mastersthesis{Visser93,
title = {Combinatory Algebraic Specification \& Compilation of List Matching},
author = {Eelco Visser},
year = {1993},
month = {June},
tags = {SDF, graph transformation, transformation language, term rewriting, reuse, graph-rewriting, algebraic specification, transformation system, compiler, algebra, higher-order transformations, rewriting, ASF+SDF, transformation},
researchr = {https://researchr.org/publication/Visser93},
cites = {0},
citedby = {0},
school = {Department of Computer Science, University of Amsterdam},
address = {Amsterdam},
advisor = {Paul Klint},
}