Execution monitoring and debugging tool for Ada using relational algebra. - Andrea Di Maio; Stefano Ceri; Stefano Crespi-Reghizzi (SIGAda, 1985)

Distributable Ada programs. - Stefano Crespi-Reghizzi; Andrea Di Maio; Francesco Maderna (IRTAW, 1987)

Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. - Stefano Ceri; Stefano Crespi-Reghizzi; Andrea Di Maio; Luigi Lavazza (IEEE Trans. Software Eng., 1988)

DRAGOON and Ada: the wedding of the nineties. - Stefano Genolini; Andrea Di Maio; Marco De Michele (WADAS, 1990)