Important Links
Machine generated authority record.
Work cat.: (OSt): Milne,George, Formal specufication and Verification Of Digital Systems, 1994.