Qilong Han, Ruzhan Lu, Yongqiang Sun: An improved bottom-up method for implementing equational programming language. J. Comput. Sci. Technol. 9(1): 63-69 (1994)