The mathematical foundation of informatics : (World Scientific, 2005)