Андерсон Р. Роберт. (1982). Доказательство правильности программ: пер. с англ. Москва, Мир, 1982.
Style de citation Chicago (17e éd.)Андерсон Р. Роберт. Доказательство правильности программ: пер. с англ. Москва, Мир, 1982, 1982.
Style de citation MLA (9e éd.)Андерсон Р. Роберт. Доказательство правильности программ: пер. с англ. Москва, Мир, 1982, 1982.
Attention : ces citations peuvent ne pas être correctes à 100%.