1. Backhouse, R.C., de Bruin, P.J., Malcolm, G., Voermans, E., van der Woude, J.: Relational catamorphisms. In: Möller, B. (ed.) Proceedings of the IFIP TC2/WG2.1 Working Conference on Constructing Programs, pp. 287–318. Elsevier Science Publishers (1991)
2. Bentley, J.L.: Programming Pearls, 2nd edn. Addison-Wesley, Boston (2000)
3. Bird, R.S.: Functional algorithm design. Sci. Comput. Program. 26, 15–31 (1996)
4. Bird, R.S., de Moor, O.: Algebra of programming. In: International Series in Computer Science. Prentice Hall (1997)
5. Lecture Notes in Computer Science;R Bird,2019