Software mechanics for Java multi-thtreading door J. Bergstra & M. loots