Madeira A, Martins M, Barbosa LS.? 2013.??Bisimilarity and refinement for hybrid(ised) logics. Proceedings 16th International Refinement Workshop - Refine. 115:84-98.