Author: Workshop on Designing Correct Circuits (3rd 1996 Båstad, Sweden)