@article{Zill98,
  key         ={Zill98},
  author      ={R. Ziller},
  title       ={Aplicação de Autômatos em Especificações de Comportamento},
  journal     ={Anais da {I} Semana Tecnológica da UNIVALI e III Semana da Computação de Biguaçu},
  month       ={January},
  year        ={1998},
  remark      ={rsg},
}