A system of digital design derivation (1989)

by Steven D Johnson, B Bose
Venue:Indiana University, Computer Science Department, Indiana University