Beyond modalities: Sufficiency and mixed algebras (2000)

by I Düntsch, E Orłowska
Venue:Relational Methods in Computer Science Applications