@Misc{Deh22-Zenodo,
    Author       = "Deharbe, D.",
    Year         = "2022",
    Title        = "{Proof Obligations from the B Formal Method (Version 20220905)}",
    Publisher    = "Zenodo",
    DOI          = "10.5281/zenodo.7050797",
    Comment      = "TPTPRef"
}