Author: Eidgeno ssische Technische Hochschule Zu rich. Institut fu r Informatik.