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, An Algebraic Approach for the Refinement of Functional Specifications to CSP Processes, Submitted to Formal Aspects of Computing, 1996.
3. R. S. Bird, An Introduction to the Theory of Lists, in M. Broy, ed., Logic of Programming and Calculi of Discreet Design, (Springer, Berlin, 1987) 3–42.
4. R. S. Bird, J. Gibbons, and G. Jones, Formal derivation of a pattern matching algorithm, Science of Computer Programming
12 (1989), 93–104.
5. R. S. Bird, and P. Wadler, Introduction to Functional Programming, (Prentice-Hall, 1988).