CASSANDRE and the Computer Aided Logical Systems Design. - G. Bogo; Alain Guyot; Augustin Lux; J. Mermet; C. Payan (IFIP Congress (2), 1971)