TY  - RPRT
TI  - A programmed formalizer for a fragment of English 
AU  - Cappell, Sylvan
PY  - 1964
PB  - National Bureau of Standards
CY  - Gaithersburg, MD
SN  - NBS RPT 8171
DO  - 10.6028/NBS.RPT.8171
ER  -