Digital Design in a Functional Calculus (1986)

by Steven D Johnson
Venue:In G. Milne and P. Subrahmanyam(eds.) Formal Aspects of VLSI Design, North-Holland