An Introduction to Programming Using the Tool by Ronald Krawitz