Wydania przez Novak, Martin (Czech Technical University, Prague.)