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