Software of 'Pavel Pivoda'