Mills, B. (2009). Practical formal software engineering: Wanting the software you get. Cambridge University Press.
Chicago-referens (17:e uppl.)Mills, Bruce. Practical Formal Software Engineering: Wanting the Software You Get. New York: Cambridge University Press, 2009.
MLA-referens (9:e uppl.)Mills, Bruce. Practical Formal Software Engineering: Wanting the Software You Get. Cambridge University Press, 2009.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.