JAC - minimizing the differences between concurrent and sequential Java code - Löhr, Klaus-Peter; Haustein, Max (Freie Univ., Fachbereich Mathematik und Informatik, 2005)