Computer logic - principles and technology. - David Hutchison 001; Peter Silvester (Ellis Horwood, 1987)