Simon N. Foley: A Universal Theory of Information Flow. S&P 1987: 116-122