TY  - BOOK
TI  - Table of Symbols for proof connection Extracted from
PY  - 1958///
ER  -