Program Verification - innbundet, Engelsk, 1993