These follow from the use of this book as a textbook in a graduate course at Carleton University beginning Fall 95 and will be continually updated as new ones come to light.
Clarifications try to shed light on parts that students found tricky or hard to understand.
This makes things clearer by showing in one place all the paths that touch one subystem. The preconditions and postconditions establish this interpretation, but unfortunately are only implied here, not explicitly stated. The bottom fork from the start point follows the first precondition and the top fork follows the second one. A postcondition of the init segment is that the second precondition is established at the start point for continuing the scenario. In the pools they show their data personality.