In Table 14.1, page 509, the entry "i.done()" for "Bitvector" must be O(1) rather than O(v). [Thanks to Ian Gent] On page 510, figure 14.3, the first box says "allocate and subscribe to p". The definition of subscription on page 508 says that p subscribes to its input variables, i.e. the box should read "allocate and subscribe to input(p)" or "allocate and subscribe p". [Thanks to Lars Kotthoff] On page 502 in the definition of events(D, D') any(x) is defined as D'(x) \subset D(X), where D(X) should be D(x) (not capital X). [Thanks to Lars Kotthoff]