Ben-Ari M. Ada for software engineers / M. Ben-Ari, 2009 r=on-line. - Текст : электронный.
Бен-Ари М. Языки программирования. Практический сравнительный анализ : Учебник по языкам программирования / М.Бен-Ари;Пер.с англ.В.С.Штаркмана,М.Н.Яковлевой;Под ред.В.С.Штаркмана, 2000. - 366 с. - Текст : непосредственный.
Ben-Ari M. Principles of the spin model checker / M. Ben-Ari, 2008 r=on-line. - Текст : электронный.