Application of Mathematical Algorithm Concept in Computer Logic Language. - Lili Huang; Junfang Hou (ICCC, 2013)