books on halts