An example secure system specified using the Terry-Wiseman approach /
Harrold, C. L.
Royal Signals and Radar Establishment (Great Britain)
Malvern : Royal Signals and Radar Establishment,
1990.
Computers