Specifying with defaults: Compositional semantics. - F. Miguel Dionísio; Udo W. Lipeck (WADT, 1997)

Paternity analysis in Excel. - Margarida Rocheta; F. Miguel Dionísio; Luís Fonseca; Ana M. Pires (Comput. Methods Programs Biomed., 2007)