Métodos Formais na Concepção e Desenvolvimento de Sistemas Interactivos
F. Mário Martins

Tese de Doutoramento, Fundamentos da Computação, UM, Universidade do Minho. July, 1995.