Robert F. Stärk Joachim Schmid Egon Börger Java and the Java Virtual Machine: Definition, Verification, Validation Springer 2001