EWDs complementing the book, E.W.Dijkstra and C.S.Scholten, Predicate Calculus and Program Semantics, 1990. This list contains addenda, corrections etc. that might be of interest to readers of the book. Not included are the EWDs that make up the book, which are easily found in the copyright notices.
Mathematical Methodology. There is a series of EWDs marked "Mathematical Methodology". [ I (DM) have no further information on this; perhaps they were planned to become a book ... ? In any case I wanted to read this material and thus collected their EWD numbers. It's no problem to find these papers, as they all have (Mathematical Methodology) after their title.]
EWDs linked by mostly explicit reference ("see ...", "correction to ...", etc.) either in the title or in the text. These references are, by their very nature, mostly unidirectional, so this list might be especially helpful for readers of an EWD that's referred to in another EWD. It may also be useful to those who print an EWD for (relaxed, off screen) studying so they'll know what else they should print or take with them. [The latter is the reason I (DM) note these links on my printed EWDs.] They are definitely incomplete, and EWDs below 700 are not covered at all.