Formal specification of the VIPER microprocessor in HOL /
Pygott, C. H.
Royal Signals and Radar Establishment (Great Britain)
Malvern : Royal Signals and Radar Establishment,
1990.
Includes bibliographical references.
VIPER (Computer program)
Microprocessors.
Computer hardware description languages.