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