Digital systems . - Tocci (1988)