Add HAT paper, closes #17