Microsystems: The Java Language Specification. ftp://ftp.javasoft.com/ docs/javaspec.ps (1996)