For technique, especially the major lifts, Starting Strength by Mark Rippetoe is the bible. (Imo.) Iirc, it has a bit about programming too but his companion book, Practical Programming, is more extensive on that scene. There's some good stickies here about programming too. Imo, stretching is totally overrated.