@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} }