Ludwig-Maximilians-Universität, München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

http://www.pst.informatik.uni-muenchen.de/projekte/javaa/index.html The Java/A project home page has moved to http://www.pst.ifi.lmu.de/Research/current-projects/java-a/