Assistant Researcher (email)
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