@book{KP95,
AUTHOR = {Keller, J. and Paul, W.J.},
TITLE = {Hardware Design},
YEAR = {1995},
URL = {http:///publikationen/KP95.pdf},
SERIES = {Teubner-Texte zur Informatik},
PUBLISHER = {Teubner Verlag},
}