Specification property for step skew products - Ľubomír Snoha (2021)