@Journal article{pl001164321, author = "Havel, Václav", title = "[no title] ", publisher = "", year = "" }