Describir: Java and the Java virtual machine : definition, verification, validation / Robert F. Stärk, Joachim Schmid, Egon Börger.