Program Verification Usi - "McGettrick, A.D." (New York, 1982)