Computer logic : principles and technology - Hutchison, David (Elli Horwood limited, 1987)