OBRA: Oracle-Based, Relational, Algorithmic Type Verification | Publicación