Discrete algorithmic mathematics. (2005)