Toward Formalizing Structured Analysis (1998)

by L Baresi, M Pezze
Venue:ACM Trans. Software Engineering and Methodology