Formal specification of a secure document control system for SMITE /
Harrold, C. L.
Malvern : Royal Signals and Radar Establishment,
1988.
Electronic digital computers.
Electronic data processing departments