Mathematical Structures for Software Engineering | The Computer Journal | DeepDyve