It's the Specification, Stupid! - Broy, Manfred; Ruess, Harald; Shankar, Natarajan (Communications of the ACM, 2025)