Nancy K. Gautier;D. L. Carver
Southeastern Louisiana University;Louisiana State University
Software engineering: a practitioner's approach (2nd ed.)
A Specifier's Introduction to Formal Methods
Computer