Mathematical Structures for Software Engineering: Based on the Proceedings of a Conference Organized by the Systems and Software Engineering Speciali (INSTITUTE OF MATHEMATICS AND ITS APPLICATIONS CONFERENCE SERIES NEW SERIES)