Reasoning about digital circuits (1983)

by B Moszkowski