A Compositional Model of MOS Circuits (1987)

by G Winskel
Venue:University of Cambridge Computer Laboratory