Author: IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits (2nd 1992 Lyngby, Denmark)