Quantales‚ Observational Logic and Process Semantics - Abramsky, S; Vickers, S (1993)