1. Logic Synthesis and Optimisation;Sasao,1993
2. Fast exact and quasi-minimal minimisation of highly testable fixed-polarity AND/XOR canonical networks;Sarabi,1992
3. Easily testable realisations for logic functions;Reddy;IEEE Trans. Comput.,1972
4. Modern Logic Design;Green,1986
5. Binary decision diagrams;Akers;IEEE Trans. Comput.,1978