Supplemental Material from HOPL II. - Thomas J. Bergin; Richard J. Gibson (ACM SIGPLAN Notices, 1996)