TY  - BOOK
AU  - Honewell
TI  - Automath 400 Md.I & II
U1  - 518.5 
ER  -