Marx's theory of commodity and surplus value formalised exposition. - Valtukh, Konstantin Kurtovich (Progress, 1987)