1. CASSANDRE: A language to describe digital systems;Anceau,1971
2. “Foundations of Microprogramming: Architecture, Software, and Applications.'';Agrawala,1976
3. A comparison of register transfer languages for describing computers and digital systems;Barbacci;IEEE Trans. Comput.,1975
4. Applications of ISPS, an architecture description language;Barbacci;J. Digital Syst.,1980
5. Using emulation to verify formal achitecture descriptions;Barbacci;Computer May,1978