F. R. Drake,S. S. Wainer,Logic Colloquium.Logic Colloquium (1979 : University of Leeds, England):Recursion theory: its generalisations and applications, procs..Cambridge Univ. Press,1980.
Victor Chan..A general methodology for the derivation of generalised software metrics models : the theory and experiments /.Jinan University Press,,2009..