Documentation of TCoS