TY - RPRT TI - A Bootstrap Theory: the SEMAT Kernel Itself as Runnable Software AU - Iaakov Exman PY - 2014 UR - https://arxiv.org/abs/1403.3928 ID - 1403.3928 ER -