Reeves, Steve2008-11-042008-11-042008-11-03Reeves, S. (2008). Considering reachability when comparing data refinements. (Working paper 12/2008). Hamilton, New Zealand: University of Waikato, Department of Computer Science.1177-777Xhttps://hdl.handle.net/10289/1275Adding considerations about reachability to the Logics of Specification Languages [1] chapter [2].application/pdfencomputer scienceWorking Paper