Formal proof of correspondence between the specification of a hardware module and its gate level implementation
Pygott, C. H.
Malvern Royal Signals and Radar Establishment
1985
Digital electronics