q=computer+program+specification+for+security+kernel+for+pdp-11%2F45&searchType=standard&isFacet=true&view=standard&searchWay=title&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
Computer program specification for security kernel for PDP-11/45