Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language | Publicación