A Categorical Approach to Structuring and Promoting Z Specifications \textbar SpringerLink Other