1. Binary Decision Diagrams;Akers;IEEE Transactions on Computers,1978
2. Computer Design of Multiple-output Logical Networks;Bartee;IRE Transactions on Electronic and Computers,1961
3. Theory and Design of Digital Machines;Bartee,1962
4. Introduction to Logic and Switching Theory;Biswas,1975
5. An Investigation of the Laws of Thought;Boole,1954