You may perhaps find what you require at Algorithms and reasoned programming Why the Tester is not available or my home page.
Alternatively, you can search this site using Google: