Tôi đang tìm bài báo gốc nơi Hoare (hoặc người khác mà tôi cho là) thảo luận về việc chấm dứt (Total Correctness). Hoặc bất kỳ công việc ban đầu nào khác về việc chấm dứt logic "vanilla" Hoare (tôi cho rằng ý tôi là một ngôn ngữ đồ chơi giống như chữ C).
Tôi đã xem xét cơ sở Tiên đề cho các Chương trình Máy tính (PDF) (về cơ bản là logic Hoare của hương vị chính xác một phần) và một lưu ý về quy tắc , trong đó đề cập đến bằng chứng về quy tắc trong khi, nhưng dường như không thể để tìm liên kết còn thiếu; một bài viết về chấm dứt / quy tắc while / Tổng số chính xác.