A Theory of Compatible Versions 31th, 2006 Dave Orchard: Making versioning work in practice is a difficult problem in computing.