Computer program verification: Improvements for human reasoning - Heym, Wayne David (ProQuest Dissertations and Theses, 1995)