@article{CTGDC_2009__50_1_23_0,
     author = {Milius, Stefan and Moss, Lawrence S.},
     title = {Equational properties of recursive program scheme solutions},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     eid = {2},
     pages = {23--66},
     publisher = {Andr\'ee CHARLES EHRESMANN},
     volume = {50},
     number = {1},
     year = {2009},
     mrnumber = {2512521},
     zbl = {1170.68009},
     language = {en},
     url = {http://archive.numdam.org/item/CTGDC_2009__50_1_23_0/}
}