@article{GeoLeuI:00a,
  journal = {J.UCS},
  volume = {6},
  title = {A representation theorem for monadic {P}avelka algebras},
  year = {2000},
  fjournal = {J.UCS. The Journal of Universal Computer Science},
  pages = {105--111 (electronic)},
  number = {1},
  author = {Georgescu, George and Leu{\c{s}}tean, Ioana},
}