Barbosa LS, Martins MA, Madeira A, Neves R.? 2016.??Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration. 446:1?30.