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.       Green open access