Андерсон Р. Роберт. (1982). Доказательство правильности программ: пер. с англ. Москва, Мир, 1982.
Cita Chicago Style (17a ed.)Андерсон Р. Роберт. Доказательство правильности программ: пер. с англ. Москва, Мир, 1982, 1982.
Cita MLA (9a ed.)Андерсон Р. Роберт. Доказательство правильности программ: пер. с англ. Москва, Мир, 1982, 1982.
Precaución: Estas citas no son 100% exactas.