Ulrich Hensel. Definition and proof principles for data and processes. PhD thesis, TU Dresden, 1998.
@phdthesis{books-daglib-0008579, title = {Definition and proof principles for data and processes}, author = {Ulrich Hensel}, year = {1998}, tags = {principles, data-flow}, researchr = {https://researchr.org/publication/books-daglib-0008579}, cites = {0}, citedby = {0}, school = {TU Dresden}, }