Semantics of sequential and parallel programs - Best, Eike, 1951- (Prentice-Hall, 1996)