Al-Jassani, B. A. Computer aided synthesis and optimisation of electronic logic circuits. (Thesis). Edinburgh Napier University. Retrieved from http://researchrepository.napier.ac.uk/id/eprint/6658