Writing efficient programs

by Jon Louis Bentley

book about writing correct and efficient programs.