Object code verification - Wahab, Matthew (PQDT - UK & Ireland, 1998)