Formal Aspects of Context - Bonzon, Pierre; Cavalcanti, Marcos; Nossum, Rolf (Applied Logic Series, 2000)