See also Alice, a Java-based collaboration between CMU and Sun Microsystems (http://www.alice.org).