Power programming with Mathematica the Kernel - Wagner (McGraw-Hill, 1996)