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