WermelingerD05'

@inproceedings{DBLP:conf/iticse/WermelingerD05,
  author    = {Michel Wermelinger and
               Artur Miguel Dias},
  title     = {A prolog toolkit for formal languages and automata},
  booktitle = {ITiCSE},
  year      = {2005},
  pages     = {330-334},
  ee        = {http://doi.acm.org/10.1145/1067445.1067536},
  crossref  = {DBLP:conf/iticse/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iticse/2005,
  editor    = {Jos{\'e} C. Cunha and
               William M. Fleischman and
               Viera K. Proulx and
               Jo{\~a}o Louren\c{c}o},
  title     = {Proceedings of the 10th Annual SIGCSE Conference on Innovation
               and Technology in Computer Science Education, ITiCSE 2005,
               Caparica, Portugal, June 27-29, 2005},
  booktitle = {ITiCSE},
  publisher = {ACM},
  year      = {2005},
  isbn      = {1-59593-024-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}