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