1. Aarts, C., Backhouse, R., Hoogendijk, P., Voermans, E., van der Woude, J.: A relational theory of data types. Report. Eindhoven University, Edinhoven (1992)
2. Abrial, J.-R.: B-Book. Cambridge University Press, Cambridge (1996)
3. Lecture Notes in Computer Science,1996
4. Barendregt, H.P.: The Lambda Calculus—Its Syntax and Semantics, North- Holland (1984)
5. Bass, H.: The Carnegie Initiative on the Doctorate: the Case of Mathematics. Notices of the AMS 50(7), 767–776 (2003)