César Andrés, Luis Fernando Llana DÃaz, Ismael RodrÃguez. Formally transforming user-model testing problems into implementer-model testing problems and viceversa. Journal of Logic and Algebraic Programming, 78(6):425-453, 2009. [doi]
Abstract is missing.