Java Testing with Spock - Kapelonis (IEEE, 2003)