Mills, B. (2009). Practical formal software engineering: Wanting the software you get. Cambridge University Press.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Mills, Bruce. Practical Formal Software Engineering: Wanting the Software You Get. New York: Cambridge University Press, 2009.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Mills, Bruce. Practical Formal Software Engineering: Wanting the Software You Get. Cambridge University Press, 2009.
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%.