@conference {MMB16,
	title = {A logic for n-dimensional hierarchical refinement},
	booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015},
	series = {EPTCS},
	volume = {209},
	year = {2016},
	note = {<p>n/a</p>
},
	pages = {40{\textendash}56},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/2.pdf},
	author = {Madeira, A. and Martins, M. A. and Barbosa, L. S.},
	editor = {John Derrick and Eerke Boiten and Steve Reeves}
}