Text this: Optimal assignments of versions to processors in fault-tolerant computer systems