@PhdThesis{Moskal:SMS2009,
  author =       "Micha{\l} Moskal",
  title =        "Satisfiability Modulo Software",
  school =       "University of Wroc{\l}aw",
  month =        dec,
  year =         "2009",
  URL =          "http://research.microsoft.com/en-us/um/people/moskal/pdf/phd.pdf",
}