See the file data/CREDITS .