@misc{BUT66645,
  author="Martin {Kovár}",
  title="Konečně regulární a konečně normální topologické prostory",
  year="1990"
}