Hets

A very interesting tool that integrates a number of logics for (co)algebraic specification.

I implemented in Hets hybridisation: a method to turn logics hybrid. See more details about this in my Msc. dissertation