Mathematical Foundations of Information Flow