Applicability of Weyuker's Property 9 to object oriented metrics | IEEE Journals & Magazine | IEEE Xplore