Part II: A Behavioural Semantics and Full Abstractness
by
Anna Ingólfsdóttir
,
Anna Ingólfsdóttir







