Trusting Logic
Karl M. Fant · 2005
Reveals the shortcomings of the current conceptual approach to digital system design, discusses the theoretical motivation for the expression of systems purely in terms of logical relationships and presents the conceptual foundations for logically determined design.