Text this: Semantics of Sequential and Parallel Programming