A.  Huq and Ramachandran, N. T., ?VDM specification of an algorithm for graph decomposition?, Journal of Digital Information Management, vol. 5, no. 6, pp. 347 - 353, 2007.