Software : requirements, specification and testing : proceedings of CSR Workshop, University of East Anglia, 10-12 April 1984 - Anderson, T. (Blackwell Scientific Publications, 1985)