WENSE, Eckart v.d.: Beschreibungsregeln für Software