Paddy Nixon Lihua Shi Concurrent semantics for structured design methods. 158-169 1996 conf/pds/1996 Software Engineering for Parallel and Distributed Systems db/conf/pds/pds1996.html#NixonS96