Matej Crepinsek and Marjan Mernik and Barrett R. Bryant and Faizan Javed and Alan SpragueElectronic Notes in Theoretical Computer Science141(4):99--11612 December2005. Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications (LDTA 2005)
.