Brat. (2013). NASA Formal Methods (1.). Springer Berlin Heidelberg.
Chicago-referens (17:e uppl.)Brat. NASA Formal Methods. 1. Springer Berlin Heidelberg, 2013.
MLA-referens (8:e uppl.)Brat. NASA Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.