Complexity & verification: The history of programming as problem solving - Zepcevski, Joline (ProQuest Dissertations and Theses, 2012)