@article{25130,
      author       = "Vyžvalda, Pavel",
      title        = "Programový systém AAT - GSSS. Implementace a ověření
                      doplňkových programů",
      year         = "1986",
      note         = "2 x 1 sv. - d.ú. 2-08-05 - Příl.: progr. systémy",
}