Algebra, an algorithmic treatment - Iverson, Kenneth E. (APL Press, 1977)