Click on Dialgebraic Specification and Modeling to open the resource.