Book

Mathematical foundations of information flow

by A. H. Clifford, Samson Abramsky, Michael W. Mislove