Reasoning about inherent parallelism in modern object-oriented languages. - Wayne Reid; Wayne Kelly; Andrew Craik (ACSC, 2008)