Iaakov Exman. A bootstrap theory: the SEMAT kernel itself as runnable software. In Pontus Johnson, Michael Goedicke, Ivar Jacobson, editors, Proceedings of the 3rd SEMAT Workshop on General Theories of Software Engineering, GTSE 2014, Hyderabad, India, June 2, 2014. pages 9-12, ACM, 2014. [doi]
Abstract is missing.