@inproceedings{ITiCSE-2005-WermelingerD,
	author        = "Michel Wermelinger and Artur Miguel Dias",
	booktitle     = "{Proceedings of the 10th Conference on Innovation and Technology in Computer Science Education}",
	doi           = "10.1145/1067445.1067536",
	isbn          = "1-59593-024-8",
	pages         = "330--334",
	publisher     = "{ACM}",
	title         = "{A prolog toolkit for formal languages and automata}",
	year          = 2005,
}