1. 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.
2. 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.
3. J. Hawkins and A. E. Abdallah, Synthesis of a Parallel Hardware JPEG Decoder from a Functional Specification, Technical Report, Centre For Applied Formal Methods, South Bank University, London, UK.
4. R. S. Bird Introduction to Functional Programming Using Haskell, (Prentice-Hall, 1998).
5. M. I. Cole, Algorithmic Skeletons: Structured Management of Parallel Computation, in Research Monographs in Parallel and Distributed Computing, (Pitman 1989).