Bennett, James H.; Easton, William B.; Guard, James R.; Loveman, David B.; Mott Jr., Thomas H. Semi-Automated Mathematics: SAM IV, 1964.

Languages mentioned

• SAM IV {1964} Semi-Automated Mathematics