Using Emulation to Verify Formal Architecture Descriptions. - Mario R. Barbacci; Alan Parker (Computer, 1978)