Program Verification - sidottu, Englanti, 1993