E. Corsetti
发表
Massimo Gennaretti,
L. Morino,
E. Corsetti,
1998
.
E. Corsetti,
E. Crivelli,
D. Mandrioli,
1991,
Proceedings of the Sixth International Workshop on Software Specification and Design.