Program Verification - inbunden, Engelska, 1993