What's the Name of the Game? Formal Specification of Artificial Intelligence Games. - Vladimir Oliveira Di Iorio; Roberto da Silva Bigonha; Mariza Andrade da Silva Bigonha; Alcione P. Oliveira; Eliseu Miguel (SBMF, 2004)