A (distributed) version control system which has a solid theoretical background, unlike most others, is darcs (originally written by a physicist). Unfortunately it does not have a nice user interface yet, so it may be not easy to "force" your coauthors to use it...