Bogo, Guyot, Lux, Mermet, Payan, "CASSANDRE and the Computer Aided Logical Systems Design"

Freiman, C. (1971) Freiman, C. V. et al (Ed) Information Processing 71, Proceedings of IFIP Congress 71, Ljubljana, Yugoslavia, August 23-28, 1971  

Languages mentioned CASSANDRE {1967} Hardware simulation language