LM 006 / Formal-basis paper / COVER ARTWORK
Minimum Formal & Mechanical Reference
Six vertices place reference, typed operation, return test, receipt, recognition, and reuse in the source’s stated order. Five directed edges stop at reuse.
LM 006 / Formal-basis paper / COVER ARTWORK
Six vertices place reference, typed operation, return test, receipt, recognition, and reuse in the source’s stated order. Five directed edges stop at reuse.