Cite
APA Citation
Castro, P., Aguirre, N., Pombo, C., & Maibaum, T. (2015). categorical foundations for structured specifications in $${\mathsf{Z}}$$Z. Formal aspects of computing, 27, 831–865. http://access.bl.uk/ark:/81055/vdc_100080346935.0x000195