@conference {48,
	title = {A Categorical Approach to Structuring and Promoting Z Specifications},
	booktitle = {9th International Symposium on Formal Aspects of Component Software (FACS 2012)},
	year = {2012},
	month = {09/2012},
	publisher = {Springer},
	organization = {Springer},
	address = {Mountain View, USA},
	author = {Pablo F. Castro and Nazareno Aguirre and Carlos Gustavo L{\'o}pez Pombo and Thomas S.E. Maibaum}
}