Java and the Java virtual machine : definition, verification, validation - Stärk, Robert F. (Springer, 2001)