Homer S. Computability and complexity theory / S. Homer, A. L. Selman, 2011. - XVI, 298 p. - Текст : непосредственный.
Logic and computer science : Lectures of the CIME 1st session, Montecatini Terme, June 20-28, 1988 / S.Homer,A.Nerode,R.A.Platek и др., 1990. - 162 p. - Текст : непосредственный.
Homer S. Computability and Complexity Theory : учебник / by Steven Homer, Alan L. Selman., 2011 r=on-line (Введено оглавление). - Текст : электронный.