Андерсон Р. (1982). Доказательство правильности программ: Р. Андерсон. Москва Мир 1982.
Chicago-стиль цитированияАндерсон Р. Доказательство правильности программ: Р. Андерсон. Москва Мир 1982, 1982.
MLA-цитированиеАндерсон Р. Доказательство правильности программ: Р. Андерсон. Москва Мир 1982, 1982.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.