Active mathematics.
Turner, D. A.
Harlow : Longman,
1993.