Barnett, M. Weakest-precondition of unstructured programs. Software engineering notes..
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Barnett, Mike. "Weakest-precondition of Unstructured Programs." Software Engineering Notes. .
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Barnett, Mike. "Weakest-precondition of Unstructured Programs." Software Engineering Notes., .
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.