TY  - SER
AU  - Jackson, D. K
AU  - Damon, Craig A.
TI  - Elements of Style Analyzing a Software Design Feature with  a Counterexample Detector
KW  - Abstract
KW  - Software Design Project
KW  -  Formal Specification
ER  -