Yang, M. Algorithms in computer-aided design of VLSI circuits. (Thesis). Edinburgh Napier University. http://researchrepository.napier.ac.uk/id/eprint/6493