The first three chapters of Darek Barefoot's book are online