TY  - BOOK
AU  - "McGettrick, A.D."
TI  - Program Verification Usi
U1  - 5 
CY  - New York
ER  -