I have read the book Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers and several other books about painting.

My picks:

Technique

Programming

Productivity

Painting