DasGupta P. A roadmap for formal property verification / P. DasGupta, 2006 r=on-line. - Текст : электронный.
Дасгупта П. Экономика: очень краткое введение / П. Дасгупта; пер. с англ. В. Ш. Шейнкера; под науч. ред. М. И. Левина, 2016. - 239 с. - Текст : непосредственный.