AB42.4.9

AB42.4.9 R. Dewar and J. Schwartz: `Abstracto' Project for an Algorithm Specification Language, pages 64-73

Page 64

Page 65

Page 66

Page 67

Page 68

Page 69

Page 70

Page 71

Page 72

Page 73