Discrete mathematical structures and their applications. - Stone, Harold S. (The SRA computer science series, 1973)