1. Ashton, H., Beevers, C.E., Koraninski, A.A., Youngson, M.A.: Incorporating partial credit in computer aided assessment of mathematics in secondary education. British Journal of Educational Technology 37, 93–119 (2006)
2. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1984)
3. Belhoste, B.: Historique des classes préparatoires. Exposé au Colloque de l’UPS (2003), ftp://trf.education.gouv.fr/pub/edutel/sup/cpge/historique.pdf
4. Bergen Conference of European Ministers Responsible for Higher Education. The framework of qualifications for the European Higher Education Area (2005), http://www.bologna-bergen2005.no/EN/BASIC/050520_Framework_qualifications.pdf
5. Bradford, R.J., Davenport, J.H.: Towards Better Simplification of Elementary Functions. In: Mora, T. (ed.) Proceedings ISSAC 2002, pp. 15–22 (2002)