Author: FOSSACS 2000 (2000 Berlin, Germany)