Pages 80 and 81 of the Revised Algol 68 Report