Principles Of Distributed Source Control