Java and the Java virtual machine definition, verification, validation - Stark, Robert F.; Schmid, Joachim (Berlin Springer, 2001)
Keywords: Java Programming Language; Virtual Computer System