Software validation : inspection _ testing _ verification _ alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983. ISBN 044487593X. Published by North-Holland in 1984. Publication and catalogue information, links to buy online and reader comments.