AB27.3.3

AB27.3.3 R. S. Scowen: Type checking at run-time, pages 27-28

Page 27

Page 28