Место работы: Institute for Reliable Computing, Hamburg University of Technology Адрес: Германия, г.Гамбург E-mail: rump@tu-harburg.de