The automatic synthesis of digital systems (1981)

by D Thomas
Venue:Proc. IEEE