@article {407,
	title = {Categorical Foundations for Structured Specifications in Z},
	journal = {Formal Aspects of Computing},
	volume = {27},
	year = {2015},
	pages = {TBD},
	author = {Pablo F. Castro and Nazareno Aguirre and Carlos Gustavo L{\'o}pez Pombo and Thomas S.E. Maibaum}
}