AB18.3.10

AB18.3.10 E. W. Dijkstra: Note on language definition, page 44

Page 44