Semantik Theorie sequentieller und paralleler Programmierung - Best, Eike 1951- (Lehrbücher Informatik, 1995)