Practical formal software engineering: wanting the software you get - Mills, Bruce (Cambridge: Cambridge University Press, 2009)
Includes index.
Keywords: Software engineering