Brat. (2013). NASA Formal Methods (1.). Springer Berlin Heidelberg.
Чикаго стиль цитування (17-те видання)Brat. NASA Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Стиль цитування MLA (8-ме видання)Brat. NASA Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Попередження: стилі цитування не завжди правильні на всі 100%.