Richard P. Reitman

	1980
3		Gregory R. Andrews, Richard P. Reitman: An Axiomatic Approach to Information Flow in Programs. ACM Trans. Program. Lang. Syst. 2(1): 56-76 (1980)
	1979
2		Richard P. Reitman, Gregory R. Andrews: Certifying Information Flow Properties of Programs: An Axiomatic Approach. POPL 1979: 283-290
1		Richard P. Reitman: A Mechanism for Information Control in Parallel Systems. SOSP 1979: 55-63

Coauthor Index

1

Gregory R. Andrews

[2] [3]