Data refinement and singleton failures refinement are not equivalent
Steve Reeves, David Streader · Formal Aspects of Computing · 2008
Abstract In this paper, we give simple example abstract data types, with atomic operations, that are related by data refinement under a definition used widely in the literature, but these same abstract data types are not related by singleton failure refinement. This contradicts results found in the literature.