Ranicki A. The algebraic theory of finiteness obstruction. Math. Scand. 1985;57:105-126. doi:10.7146/math.scand.a-12107