A formalization of internal control evaluation - Verghese, Thomas (ProQuest Dissertations and Theses, 1988)