@PhdThesis{MKubica:phd-thesis,
  author =       {Marcin Kubica},
  title =        {Formal Specifications of Pointer Data-Structures},
  school =       {Warsaw University,
                 Department of Mathematics, Informatics and Mechanics},
  note =         {(in Polish)},
  year =         {2000}
}

@PhdThesis{MK:doktorat,
  author =       {Marcin Kubica},
  title =        {Formalna specyfikacja wskaźnikowych struktur danych},
  school =       {Wydział Matematyki, Informatyki i Mechaniki,
                 Uniwersytet Warszawski},
  year =         {2000}
}