Semantics and Applications of Process and Program Algebra by T.D. Vu