Formalizing Effects of Program Structure. - Kishimoto Yorinori; Satou Tadamasa (Software Engineering Research and Practice, 2004)