AB44.4.4

AB44.4.4 V. J. Rayward-Smith: The Use of ALGOL 68 Pattern Matching to Describe a Formal Logic System, pages 52-62

Page 52

Page 53

Page 54

Page 55

Page 56

Page 57

Page 58

Page 59

Page 60

Page 61

Page 62