Algorithms - Berman, Kenneth A.; Paul, Jerome L. (Australia Cengage Learning India, 2002)
Bibliography p.739-50.
Keywords: Algebra -- Mathematical logic -- Computer programming -- Arithmatic - Foundations