@misc{cefp11paper,
  title = {Static Analysis of Complex Software Systems Implemented in Erlang},
  author = {Tóth, M. and Bozó, I.},
  year = {2012},
  howpublished = {Central European Functional Programming Summer School – Fourth Summer School, CEFP 2011, Revisited Selected Lectures, Lecture Notes in Computer Science (LNCS), Vol. 7241, pp. 451-514, Springer-Verlag, ISSN: 0302-9743},
}