Achieving Understandable Results in a Formal Design Verification. - Richard B. Neely; James W. Freeman; M. D. Krenzin (CSFW, 1989)