{"id":"003026282","type":"book","title":"Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs","author":[{"family":"Hammer","given":"Christian"}]}