Online Library TheLib.net » Author books / Книги автора Dines Bjørner (auth.) Václav Hlaváč Keith G. Jeffery Jiří Wiedermann (eds.)