Rename article 'contract programming'