@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" }