DDD - A system for mechanized digital design derivation (1991)

by S D Johnson, B Bose
Venue:In Workshop on Formal Methods in VLSI Design