Categorical foundations for structured specifications in Z. Castro, P. F., Aguirre, N., Pombo, C. L., & Maibaum, T. S. E. Formal Asp. Comput., 27(5-6):831–865, 2015.
Categorical foundations for structured specifications in Z [link]Paper  doi  bibtex   
@article{DBLP:journals/fac/CastroAPM15,
	author = {Pablo F. Castro and Nazareno Aguirre and Carlos L{\'{o}}pez Pombo and T. S. E. Maibaum},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/journals/fac/CastroAPM15.bib},
	doi = {10.1007/s00165-015-0336-0},
	journal = {Formal Asp. Comput.},
	number = {5-6},
	pages = {831--865},
	timestamp = {Wed, 17 May 2017 01:00:00 +0200},
	title = {Categorical foundations for structured specifications in {Z}},
	url = {https://doi.org/10.1007/s00165-015-0336-0},
	volume = {27},
	year = {2015},
	Bdsk-Url-1 = {https://doi.org/10.1007/s00165-015-0336-0},
	Bdsk-Url-2 = {http://dx.doi.org/10.1007/s00165-015-0336-0}}

Downloads: 0