@book{RM-4319-PR,
author="Cook, Stephen A.",
title="Algebraic Techniques and the Mechanization of Number Theory",
address="Santa Monica, CA",
year="1965",
doi="",
publisher="RAND Corporation"
}