James Bergstra references