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