Functional Transformation Systems (2000)

by J Kort, R Lämmel, J Visser
Venue:In Proc. of 9th International Workshop on Functional and Logic Programming, Benicassim