Harman, M; (2018) We Need a Testability Transformation Semantics. In: Johnsen, EB and Schaefer, I, (eds.) Software Engineering and Formal Methods. (pp. pp. 3-17). Springer: Cham, Switzerland.