Proposed Test Method to Prove Software Having a Vector Space Behavior. - P. Veronneau; Pierre N. Robillard (ITC, 1986)