Al-Jassani, Ban A., "Computer aided synthesis and optimisation of electronic logic circuits", ,