Reeves, SteveStreader, David2013-11-222013-11-222008-05-102008Reeves, S., & Streader, D. (2008). Data refinement and singleton failures refinement are not equivalent. Formal Aspects of Computing, 20(3), 295-301.https://hdl.handle.net/10289/8223In 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.endata refinementsingleton failures refinementJournal Article10.1007/s00165-008-0076-5