Alberto Pardo. A calculational approach to recursive programs with effects / von Albert Pardo. PhD thesis, Darmstadt University of Technology, Germany, 2001. [doi]
@phdthesis{dnb-14348, title = {A calculational approach to recursive programs with effects / von Albert Pardo}, author = {Alberto Pardo}, year = {2001}, url = {http://d-nb.info/965558096}, researchr = {https://researchr.org/publication/dnb-14348}, cites = {0}, citedby = {0}, school = {Darmstadt University of Technology, Germany}, }