K.  Xu, Zhang, J., and Gao, S., ?Froglingo, a programming language empowered by a total-recursive-equivalent data model?, Journal of Digital Information Management, vol. 9, no. 4, pp. 134 - 146, 2011.