Hardware proofs using LCF-LSM and ELLA
Cullyer, W. J.
Pygott, C. H.
Malvern Royal Signals and Radar Establishment
1985
Computers