Design Methods for Digital Systems by Jean Chinal