Hardware-Design formaler Entwurf digitaler Schaltungen - Keller, Jörg; Paul, Wolfgang J. 1951- (Teubner, 2005)