Aart Middeldorp Yoshihito Toyama Completeness of Combinations of Constructor Systems. 331-348 1993 15 J. Symb. Comput. 3 db/journals/jsc/jsc15.html#MiddeldorpT93 http://dx.doi.org/10.1006/jsco.1993.1024