Text this: Semantics of sequential and parallel programs /