Information Flow in Parallel Programs: An Axiomatic Approach. - Richard P. Reitman (1978)

Certifying Information Flow Properties of Programs: An Axiomatic Approach. - Richard P. Reitman; Gregory R. Andrews (POPL, 1979)

A Mechanism for Information Control in Parallel Systems. - Richard P. Reitman (SOSP, 1979)

An Axiomatic Approach to Information Flow in Programs. - Gregory R. Andrews; Richard P. Reitman (ACM Trans. Program. Lang. Syst., 1980)