Bibliography of professor Josef Vachek's works