Lourenço, Caires, 2014. Information Flow Analysis for Valued-Indexed Data Security Compartments, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-14128-2_11