Active mathematics.
Hony, B. V.
Turner, D. A.
Harlow : Longman,
1992.