Constraining topic maps: a TMCL declarative implementation - Ramalho, José Carlos (2005)