Explicit mathematics workbook cl.1 (2000 FRS)