A Three-Level Design Verification System (1969)

by J S Jephson, R P McQuarrie, R E Vogelsberg
Venue:IBM Systems Journal