Static slicing of explicitly synchronized languages | Publicación