Mario R. Barbacci, Alan Parker: Using Emulation to Verify Formal Architecture Descriptions. Computer 11(5): 51-56 (1978)