JAC - minimizing the differences between concurrent and sequential Java code - Löhr, Klaus-Peter; Haustein, Max (Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik; [20]05,18, 2005)