"Java and the Java Virtual Machine: Definition, Verification, Validation" - читать интересную книгу автора (Robert F. Stärk, Joachim Schmid, Egon Börger)