Fully abstract semantics for observably sequential languages
scientific article; zbMATH DE number 590759
scientific article