@Journal article{001670404, author = "", title = "P. Petr Kopal †.", publisher = "", year = "" }