Title: SPICE: The Theory and Practice of Software Process Improvement and Capability Determination, Author: Khaled El Emam
Title: Specifying Software: A Hands-On Introduction, Author: R. D. Tennent
Title: Semantic Integration of Heterogeneous Software Specifications, Author: Martin Große-Rhode