@Journal article{002830544, author = "Borkovec, Petr,", title = "Seifert ", publisher = "", year = "" }