Specifying Processes - Abramsky, S; Pavlovic, D (Springer−Verlag, 1997)