COMPUTER PROGRAM AND PROGRAM MANUALS ALL SOLD AS A UNIT EMBODYING A METHOD FOR ASSURING FREEDOM FROM DESIGN ERROR IN INTEGRATED SYSTEMS