Functional Transformation Systems (2000)

by J Kort, R Lammel, J Visser
Venue:In 9th International Workshop on Functional and Logic Programming, Benicassim