Halstead’s work is amenable to experimental verification and a large body of research has been conducted to investigate software science. A discussion of this work is beyond the scope of this book. For further information, see[Zus90],[Fen91],and[Zus97].