A system for analysis and verification of software design. - Linda S. Hammond; Daniel L. Murphy 002; Mark K. Smith (COMPSAC, 1978)

An approach to transfer verification and validation technology. - Mark K. Smith; Leonard L. Tripp; Leon J. Osterweil; Richard N. Taylor; William E. Howden (AFIPS National Computer Conference, 1981)