2 books
Investigations on Some New Models in Debugging and Growth Theory
Approximate methods and computer realization