The notion of proof in hardware verification
scientific article; zbMATH DE number 4108189