Luciano Baresi Mauro Pezzè Toward Formalizing Structured Analysis. 80-107 1998 7 ACM Trans. Softw. Eng. Methodol. 1 db/journals/tosem/tosem7.html#BaresiP98 http://doi.acm.org/10.1145/268411.268429