Software : Requirements, Specification and Testing - Anderson, T. (Blackwell Scientific Publications, 1985)