Moving from mailing lists to web-based discussion forums. - Artur Miguel Dias (ITiCSE, 2005)

A prolog toolkit for formal languages and automata. - Michel Wermelinger; Artur Miguel Dias (ITiCSE, 2005)

L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory - Paulo Moura; Artur Miguel Dias (CoRR, 2011)

Visualização e animação de autómatos em Ocsigen Framework. - Rita Macedo; Artur Miguel Dias; António Ravara (CoRR, 2019)