Functional Transformation Systems. Draft; available at http://www.cwi.nl/~ ralf (2000)

by J Kort, R Lammel, J Visser