Logic works : instructor's laboratory manual - Katz, Randy (The Benjamin/Cummings Pub., 1994)