1. P. Welch. Life of occam-pi. In Communicating Process Architectures 2013. Open Channel Publishing Ltd., 2013.
2. Ensuring consistency between designs, documentation,formal specifications, and implementations;Kiniry;In Proceedings of 12th International Symposium on Component-Based Software Engineering, pages,2009
3. P. Godefroid. Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem. Springer, Secaucus, United States, 1996.
4. M. Zhu, P. Grogono, O. Ormandjieva, and P. Kamthan. Using category theory and data flow analysis for modeling and verifying properties of communications in the process-oriented language erasmus. In Proceedings of the Seventh C* Conference on Computer Science and Software Engineering, pages 24:1-24:4, 2014.
5. M. Zhu, P. Grogono, and O. Ormandjieva. Using category theory to verify implementation against design in concurrent systems. In The 6th International Conference on Ambient Systems, Networks and Technologies, pages 530-537, 2015.