Notes/demos for the Savitch's Absolute Java.