Computer-aided analysis of circuits and systems proceedings of workshop held at ESTEC, 24 January 1977 (1977)