A theoretical validation of the number of polymorphic methods as a complexity metric Conference Paper