[Focardi&Gorieri]

Classification of Security Properties. Part I: Information Flow 
R.Focardi, R.Gorrieri.  In "Foundations of Security Analysis and Design I", LNCS 2171, pages 331-396, Springer, 2001. 

[Sabelfeld]

Language-Based Information-Flow Security
Andrei Sabelfeld and Andrew C. Myers, in IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 21, NO. 1, JANUARY 2003

[Volpano & Smith]

A Sound Type System For Secure Flow Analysis, Dennis Volpano, Geoffrey Smith, et al., in Journal of Computer Security, vol. 4, no 3, pp 167--187,1996.

[Boudol & Castellani]

Noninterference for Concurrent Programs, Gérard Boudol and Ilaria Castellani", proceedings of ICALP01, Lecture Notes in Computer Science", vol 2076, p 382,2001.

[Clark & Al]

Quantified Interference: Information Theory and
Information Flow (Extended Abstract)
David Clark and Sebastian Hunt and Pasquale Malacaria

[McLean]

Security Models and Information Flow
John McLean, in IEEE Symposium on Security and Privacy, p 180-189, 1990