Added gruntz' thesis references in test cases