Richard Hull Jianwen Su Algebraic and Calculus Query Languages for Recursively Typed Complex Objects. 121-156 1993 47 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss47.html#HullS93 http://dx.doi.org/10.1016/0022-0000(93)90022-O