Describing and reasoning about circuits using relations (1986)

by Mary Sheeran
Venue:Proc. Workshop in Theoretical Aspects of VLSI