Semantik Theorie sequentieller und paralleler Programmierung - Best, Eike 1951- (Vieweg, 1995)