Madeira A, Martins MA, Barbosa LS.? 2016.??A logic for n-dimensional hierarchical refinement. Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. 209:40?56.