Fundamentals of computer logic - Hutchison David (New York John Wiley, 1981)
Appendix
Keywords: Computer science