Title: Software Specification Methods: An Overview Using a Case Study / Edition 1, Author: Marc Frappier
Title: Semantic Integration of Heterogeneous Software Specifications / Edition 1, Author: Martin Groïe-Rhode
Title: Specifying Software: A Hands-On Introduction, Author: R. D. Tennent
Title: Software Engineerng Standards: A User's Road Map / Edition 1, Author: James W. Moore
Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination / Edition 1, Author: Khaled El Emam