@misc{cefp11judittalk,
  title = {Reasoning about Erlang programs composed of components with known semantic properties},
  author = {Kőszegi, J.},
  year = {2011},
  month = {June},
  howpublished = {Talk at the PhD Workshop of the 4th Central European Functional Programming School, Budapest, Hungary},
}