1. A.E. Abdallah, Derivation of Parallel Algorithms from Functional Specifications to CSP Processes, in Bernhard Möller, ed., Mathematics of Program Construction, LNCS 947, (Springer Verlag, 1995) 67–96
2. A. E. Abdallah, Functional Process Modelling, in K Hammond and G. Michealson (eds), Research Directions in Parallel Functional Programming, (Springer Verlag, October 1999). pp339–360.
3. A. E. Abdallah and J. Hawkins, Calculational Design of Special Purpose Parallel Algorithms, in Proceedings of 7th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2000), Lebanon, (IEEE, December 2000). pp261–267.
4. R. S. Bird and P. Wadler, Introduction to Functional Programming. (Prentice-Hall, 1988).
5. R. S. Bird Introduction to Functional Programming Using Haskell, (Prentice-Hall, 1998).