1.introduction(page 1)2.Preliminaries(page 7)3.modes and classes(page 13)4.locations and their accesses(page 40)5.Values and their operations(page 52)6.actions(page 79)7.input and output(page 97)8.program structure(page 107)9.concurrent exection(page 124)10.general semantic properties(page 130)11.exception handling(page 156)12.implementation options(page 158)index(page 236)