Natural Transformations and Data Refinement - Hoare, C; He, J (2015)