Write: Theory of computation