Computer-aided design of digital electronic circuits and systems : proceedings of a symposium, Brusel, Nov. 1978 - Davignon, E. (rz1, 1979)