Axioms for Definability and Full Completeness (Essays in Honour of Robin Milner, 1999)

(untitled) - Abramsky, S