Parametric binary dissection (1993)

by Shahid H Bokhari, Thomas W Crockett, David M Nicol
Venue:ICASE(Institution for Computer Applications in Science and Engineering