A draft specification for The IBM Mathematical Formula Translating System was completed by November 1954.
The IBM Mathematical Formula Translating System のドラフト仕様は1954年中旬に作成された。