Unifying theories of parallel programming - WOODCOCK, Jim; HUGHES, Arthur (Formal methods and software engineering (Shanghai, 21-25 October 2002), 2002)
text