Title from the cover.
Contract-based interface specification language for functional and non-functional properties by R. J. Payne. Published by University of Newcastle upon Tyne, Computing Science in 2011. Publication and catalogue information, links to buy online and reader comments.