A system for mechanized digital design derivation (1991)

by Steven D Johnson, Bhaskar Bose
Venue:Available as Indiana University Computer Science Department