Authors: R. D. Tennent

Specifying Software A Hands-On Introduction — R. D. Tennent