Direct Verification of Bisimulations | Publicación