Dorothy E. Denning, Peter J. Denning. Certification of Programs for Secure Information Flow. Communications of the ACM, 20(7):504-513, 1977.
@article{DenningD77,
title = {Certification of Programs for Secure Information Flow},
author = {Dorothy E. Denning and Peter J. Denning},
year = {1977},
tags = {data-flow programming, data-flow, certification, e-science},
researchr = {https://researchr.org/publication/DenningD77},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {20},
number = {7},
pages = {504-513},
}