Diaconescu R, Madeira A.? 2014.??Encoding Hybridised Institutions into First Order Logic. Mathematical Structures in Computer Science. :1-44.