A semantics-based method for requirements analysis and system designMax L. Wilson1979COMPSAC 1979Conference paper