Author: Leipzig. Universität. Forschungszentrum Theorie und Methodologie der Programmierung. Informationsstelle.