The algebraic specification of annotated abstract syntax trees (1994)

by C Groza, M G J van den Brand
Venue:University of Amsterdam, Programming Research Group