Scott N. Gerard. Adding an authorization dimension to strong type checking. SIGPLAN Notices, 23(6):145-151, 1988. [doi]
@article{Gerard88,
title = {Adding an authorization dimension to strong type checking},
author = {Scott N. Gerard},
year = {1988},
doi = {10.1145/44546.44561},
url = {http://doi.acm.org/10.1145/44546.44561},
tags = {type checking},
researchr = {https://researchr.org/publication/Gerard88},
cites = {0},
citedby = {0},
journal = {SIGPLAN Notices},
volume = {23},
number = {6},
pages = {145-151},
}