@inproceedings{BUT21364,
  author="Otto {Dostál}",
  title="Specifikace a verifikace komunikačních protokolů",
  booktitle="Dálkový přenos dat - DPD 87",
  year="1987",
  pages="3",
  publisher="DT ČSVTS Praha",
  address="Karlovy Vary"
}