John Regehr's blogs are always a great read. It is topical for me at the moment, as I realized I was doing the data flow analysis all wrong for ownership/borrowing and am going to rewrite it today.