@misc{indiciae14cb21dcd54c, title = {A precompiler for the formula manipulation system TRIGMAN.}, author = {Jefferys, W. H.}, year = {1972}, url = {https://ntrs.nasa.gov/citations/19720061576}, note = {Source identifier: 19720061576} }