Mechanically Proving Determinacy of Hierarchical Block Diagram Translations | Publicación