The Sac-1 Polynomial Real Zero System - Collins, G.E.; Heindel, L.E. (University of Wisconsin-Madison Department of Computer Sciences, 1970)