Online Library TheLib.net » Author books / Книги автора Hans van Ditmarsch Joseph Y. Halpern Wiebe van der Hoek Barteld Kooi (eds.)