Mills, B. (2009). Practical formal software engineering: Wanting the software you get. Cambridge University Press.
Lua i Stíl Chicago (17ú heag.)Mills, Bruce. Practical Formal Software Engineering: Wanting the Software You Get. New York: Cambridge University Press, 2009.
Lua MLA (9ú heag.)Mills, Bruce. Practical Formal Software Engineering: Wanting the Software You Get. Cambridge University Press, 2009.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.