Is the publisher really named Theory of Computing?