MNLAC: uma proposta de modelagem de fluxo de navegação baseada em lógica modal - Oliveira, Daniele Carvalho (2011)
Mestre em Ciência da Computação