Functional programming languages, tools and architectures (Horwood u.a., 1987)