APA-viite (7. p.)

Кларк, м. Э. М. Э. М., Грамберг О. Орна, & Пелед Д. Дорон. (2002). Верификация моделей программ: Model Checking: пер. с англ. Москва, МЦНМО, 2002.

Chicago-viite (17. p.)

Кларк, мл. Э. М. Эдмунд М., Грамберг О. Орна, ja Пелед Д. Дорон. Верификация моделей программ: Model Checking: пер. с англ. Москва, МЦНМО, 2002, 2002.

MLA-viite (9. p.)

Кларк, мл. Э. М. Эдмунд М., et al. Верификация моделей программ: Model Checking: пер. с англ. Москва, МЦНМО, 2002, 2002.