Modern logic disign - GREEN, David, (Addison-Wesley, 1986)