Журнал - Java and the Java Virtual Machine: Definition, Verification, Validation

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