P. 50 : line 4, example 2.21,: the precondition should be data_is_sorted: is_sorted_range(how, high)
P. 64 : Missing Postcondition for feature `index_of':
Result_less_than_count: Result <= count
P. 65 : item 3, last sentence should be: This is valid if and only if
s1 ands2 are not Void.
P. 69, line 27, example 3.20: LIST should be LISTE
P. 79, 4 lines from the end: Replace Current or
an attribute with Current or a feature name.
P. 90, line 20 and 23 in example 3.38: Replace machines
with m.
Many thanks to Jean-Louis Nebut and Eric Bezault...