Prospects For Functional Programming In Software Engineering - Banatre, J P (Springer-verlag, 1991)