Microsystems: The Java Virtual Machine Specification. http://www (1996)