The mathematical foundation of informatics : proceedings of the conference, Hanoi, Vietnam, 25-28 October 1999 - Do, Long Van, 1941-; Itō, Masami, 1941- (World Scientific, 2005)