Explicit mathematics workbook cl.4 (2000 FRS)