Describing and reasoning about circuits using relations. See McEvoy and Tucker [1990a], Chapter 6 (1990)

by M Sheeran