A Kernel System for information system development, evolution, and operation. - Harlan D. Mills; Max L. Wilson 002 (SIGPLAN-SIGOPS Interface Meeting, 1973)

A semantics-based method for requirements analysis and system design. - Max L. Wilson 002 (COMPSAC, 1979)