Principles and practice of mathematics - Comap (Sringer-Verlag, 1996)