Zurück zum Buch— Modelling and Synthesis of Digital Systems