Active mathematics.
Hony, B. V.
Harlow : Longman,
1992.