Contemporary logic design (2. ed.)