Prakash K. Muthukrishnan, Barrett R. Bryant: Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications. SOFSEM 1997: 201-218