@ARTICLE{Istrail1979a, author = {Istrail, Sorin}, title = {On the complexity of program divergence}, journal = {Foundations of Control Engineering}, year = {1979}, volume = {4}, pages = {19--26}, number = {1}, owner = {Derek}, timestamp = {2012.05.08}, category = {Theory of Computation} }