@InProceedings{Woj83,
    Author       = "Wojcik, A.S.",
    Year         = "1983",
    Title        = "{Formal Design Verification of Digital Systems}",
    BookTitle    = "{Proceedings of the 20th Design Automation Conference}",
    Comment      = "TPTPRef"
}