What is theory of computation?

Published --