书目详细信息 : Mathematical foundations of information flow /