1. F. Anceau. The Architecture of Microprocessors. Addison-Wesley Publishing Company, 1986.
2. L. Arditi and H. Collavizza. Binary moment diagrams for verifying loops in microprocessor instructions. Technical report, Laboratoire I3S, Université de Nice-Sophia Antipolis, Nov. 1994.
3. L. Arditi and H. Collavizza. Towards verifying VHDL descriptions of processors. Technical report, Laboratoire I3S, Université de Nice — Sophia Antipolis, Jan. 1995.
4. P. J. Ashenden. The VHDL Cookbook. Public Domain, Dept. Computer Science, University of Adelaide, South Australia, first edition, July 1990.
5. G. Bracha and W. Cook. Mixin-based inheritance. In European Conference on Object Oriented Programming / Object-Oriented Programming Systems, Languages and Applications, October 1990.