Computer Supported Calculus by A. Ben-Israel & Robert P. Gilbert