Mutual Impact of Computing Power and Control Theory - Kárný, M.; Warwick, K. (Springer US, 1993)