AB44.1.5

AB44.1.5 An Axiomatic Semantic Definition of ALGOL 68, pages 4-5

Page 4

Page 5