@Book{Hay93,
    Author       = "Hayes, J.P.",
    Year         = "1993",
    Title        = "{Introduction to Digital Logic Circuit Design}",
    Publisher    = "Addison Wesley",
    Comment      = "TPTPRef"
}