Jan J. M. M. Rutten Semantic Correctness for a Parallel Object-Oriented Language. 341-383 1990 19 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp19.html#Rutten90 http://dx.doi.org/10.1137/0219023