Quantifying the effects of aspectual decompositions on design by contract modularization: a maintenance study - Rebêlo, Henrique (2013)