@inbook{inbook, title = {{Categorical Information Flow}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2019}}, month = {{1}}, author = {{Rabehaja T and McIver A and Morgan C and Struth G}}, doi = {{10.1007/978-3-030-31175-9_19}}, isbn = {{9783030311742}}, pages = {{329-343}}, note = {{Accessed on 2025/06/22}}}