Copyright (c) 2008, 2009, 2010. Dirk Fahland. AGPL3.0
All rights reserved.

This program and the accompanying materials are made available under
the terms of the GNU Affero General Public License Version 3 (or later),
see LICENSE file. 

Copyright (c) 2010. Dirk Fahland

Institut fuer Informatik,
Lehrstuhl Theorie der Programmierung, Humboldt-Universitaet zu Berlin.