Fundamentals of computer logic - Hutchison, David (rz1, 1981)