A methodology for formal specification and implementation of Ada packages. - Neel Madhav; Walter Mann (COMPSAC, 1990)

The use of anna specification technology in ada software development. - Sriram Sankar; David C. Luckham; Walter Mann (TRI-Ada Tutorial, 1991)

Specification and Analysis of System Architecture Using Rapide. - David C. Luckham; John J. Kenney; Larry M. Augustin; James Vera; Doug Bryan; Walter Mann (IEEE Trans. Software Eng., 1995)

Correction to "Specification and Analysis of System Architecture Using Rapide". - David C. Luckham; John J. Kenney; Larry M. Augustin; James Vera; Doug Bryan; Walter Mann (IEEE Trans. Software Eng., 1995)

Event Mining with Event Processing Networks. - Louis Perrochon; Walter Mann; Stephane Kasriel; David C. Luckham (PAKDD, 1999)

Inferred Designs. - Louis Perrochon; Walter Mann (IEEE Softw., 1999)