@InProceedings{BK:spec-wskaznikow,
  author =       {Adam Bałaban and Marcin Kubica},
  title =        {Specyfikacja i weryfikacja programów operujących na
                 wskaźnikowych strukturach danych},
  booktitle =    {{III} Krajowa Konferencja Inżynierii Oprogramowania,
                 {KKIO}'2001},
  pages =        {15--26},
  year =         {2001}
}

@InProceedings{BK:pointer-spec,
  author =       {Adam Bałaban and Marcin Kubica},
  title =        {Specification and verification of programs operating on
                 pointer data-structures},
  booktitle =    {{KKIO}'2001},
  pages =        {15--26},
  year =         {2001},
  note =         {(in Polish)}
}